Details

sample46.0ms

Algorithm

intervals

Results

24.0ms

275×

body

valid

simplify61.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4914	37
1	4914	37

prune18.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 28.2b

Counts

2 → 2

localize23.0ms

Local error

Found 4 expressions with local error:

0.1b	(* z (+ (* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t)) a))
0.1b	(* z (+ (* z 3.13060547623) 11.1667541262))
0.1b	(* y (/ (+ (* z (+ (* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t)) a)) b) (+ (* z (+ (* z (+ (* z (+ z 15.234687407)) 31.4690115749)) 11.9400905721)) 0.607771387771)))
27.3b	(/ (+ (* z (+ (* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t)) a)) b) (+ (* z (+ (* z (+ (* z (+ z 15.234687407)) 31.4690115749)) 11.9400905721)) 0.607771387771))

rewrite71.0ms

Algorithm

rewrite-expression-head

Rules

33×	`add-sqr-sqrt`
24×	`add-cube-cbrt` `*-un-lft-identity`
21×	`associate-r`
19×	`times-frac`
15×	`add-exp-log` `add-cbrt-cube`
10×	`pow1`
9×	`associate-l`
5×	`flip3-+` `associate-*r/` `flip-+`
4×	`prod-exp` `associate-/r/` `cbrt-unprod` `add-log-exp` `unswap-sqr`
3×	`pow-prod-down` `associate-/r` `-commutative` `associate-/l*`
2×	`cbrt-undiv` `distribute-rgt-in` `distribute-lft-in` `div-exp` `div-inv` `associate-/l/`
1×	`frac-2neg` `clear-num`

Counts

4 → 109

Calls

4 calls:

12.0ms	(* z (+ (* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t)) a))
8.0ms	(* z (+ (* z 3.13060547623) 11.1667541262))
24.0ms	(* y (/ (+ (* z (+ (* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t)) a)) b) (+ (* z (+ (* z (+ (* z (+ z 15.234687407)) 31.4690115749)) 11.9400905721)) 0.607771387771)))
24.0ms	(/ (+ (* z (+ (* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t)) a)) b) (+ (* z (+ (* z (+ (* z (+ z 15.234687407)) 31.4690115749)) 11.9400905721)) 0.607771387771))

series204.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(* z (+ (* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t)) a))
6.0ms	(* z (+ (* z 3.13060547623) 11.1667541262))
138.0ms	(* y (/ (+ (* z (+ (* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t)) a)) b) (+ (* z (+ (* z (+ (* z (+ z 15.234687407)) 31.4690115749)) 11.9400905721)) 0.607771387771)))
49.0ms	(/ (+ (* z (+ (* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t)) a)) b) (+ (* z (+ (* z (+ (* z (+ z 15.234687407)) 31.4690115749)) 11.9400905721)) 0.607771387771))

simplify77.0ms

Algorithm

egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4964	3425
1	4964	3425

prune322.0ms

Filtered

92 candidates to 121 candidates (-31.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	116	5	121
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	116	7	123

Merged error: 0.0b

Counts

123 → 7

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (+ (* 3.13060547623 y) (* (/ y z) (- (/ t z) 36.527041698806414))))
0.0b	(- (/ t z) 36.527041698806414)
1.1b	(* (/ y z) (- (/ t z) 36.527041698806414))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-sqr-sqrt`
17×	`*-un-lft-identity`
13×	`associate-l`
12×	`times-frac`
11×	`add-cube-cbrt`
10×	`add-log-exp`
8×	`add-exp-log` `add-cbrt-cube`
6×	`associate-r`
5×	`pow1`
4×	`difference-of-squares`
3×	`sub-neg` `flip3--` `sum-log` `flip--`
2×	`distribute-rgt-in` `frac-times` `distribute-lft-in` `associate-*r/` `prod-exp` `cbrt-unprod` `distribute-lft-out--` `unswap-sqr`
1×	`cbrt-undiv` `+-commutative` `associate-+r+` `flip3-+` `diff-log` `div-exp` `pow-prod-down` `associate-l/` `-commutative` `flip-+` `div-inv` `distribute-lft-out`

Counts

3 → 72

Calls

3 calls:

6.0ms	(+ x (+ (* 3.13060547623 y) (* (/ y z) (- (/ t z) 36.527041698806414))))
7.0ms	(- (/ t z) 36.527041698806414)
12.0ms	(* (/ y z) (- (/ t z) 36.527041698806414))

series36.0ms

Counts

3 → 9

Calls

3 calls:

23.0ms	(+ x (+ (* 3.13060547623 y) (* (/ y z) (- (/ t z) 36.527041698806414))))
3.0ms	(- (/ t z) 36.527041698806414)
10.0ms	(* (/ y z) (- (/ t z) 36.527041698806414))

simplify49.0ms

Algorithm

egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	4976	985
1	4976	985

prune120.0ms

Filtered

58 candidates to 81 candidates (-39.7%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	78	3	81
Fresh	2	3	5
Picked	0	1	1
Done	0	1	1
Total	80	8	88

Merged error: 0b

Counts

88 → 8

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (+ (* 3.13060547623 y) (* y (/ (- (/ t z) 36.527041698806414) z))))
0.0b	(- (/ t z) 36.527041698806414)
0.1b	(/ (- (/ t z) 36.527041698806414) z)
4.6b	(* y (/ (- (/ t z) 36.527041698806414) z))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

71×	`add-sqr-sqrt`
45×	`times-frac`
44×	`*-un-lft-identity`
26×	`add-cube-cbrt`
22×	`associate-r`
16×	`difference-of-squares`
11×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
8×	`distribute-lft-out--`
6×	`pow1` `associate-/l*`
3×	`associate-l` `associate-/r*` `sum-log`
2×	`cbrt-undiv` `flip3--` `div-exp` `prod-exp` `flip--` `cbrt-unprod` `div-inv` `associate-/l/` `unswap-sqr`
1×	`+-commutative` `sub-neg` `associate-+r+` `frac-2neg` `flip3-+` `diff-log` `div-sub` `associate-r/` `pow-prod-down` `clear-num` `-commutative` `flip-+` `distribute-lft-out`

Counts

4 → 112

Calls

4 calls:

6.0ms	(+ x (+ (* 3.13060547623 y) (* y (/ (- (/ t z) 36.527041698806414) z))))
7.0ms	(- (/ t z) 36.527041698806414)
9.0ms	(/ (- (/ t z) 36.527041698806414) z)
13.0ms	(* y (/ (- (/ t z) 36.527041698806414) z))

series42.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(+ x (+ (* 3.13060547623 y) (* y (/ (- (/ t z) 36.527041698806414) z))))
3.0ms	(- (/ t z) 36.527041698806414)
6.0ms	(/ (- (/ t z) 36.527041698806414) z)
11.0ms	(* y (/ (- (/ t z) 36.527041698806414) z))

simplify47.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5017	1437

prune160.0ms

Filtered

89 candidates to 124 candidates (-39.3%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	123	1	124
Fresh	1	4	5
Picked	0	1	1
Done	0	2	2
Total	124	8	132

Merged error: 0b

Counts

132 → 8

localize32.0ms

Local error

Found 4 expressions with local error:

17.8b	(cbrt (+ (* z (+ (* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t)) a)) b))
17.8b	(cbrt (+ (* z (+ (* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t)) a)) b))
17.8b	(cbrt (+ (* z (+ (* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t)) a)) b))
22.3b	(/ (* (cbrt (+ (* z (+ (* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t)) a)) b)) (cbrt (+ (* z (+ (* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t)) a)) b))) (/ (+ (* z (+ (* z (+ (* z (+ z 15.234687407)) 31.4690115749)) 11.9400905721)) 0.607771387771) (cbrt (+ (* z (+ (* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t)) a)) b))))

rewrite89.0ms

Algorithm

rewrite-expression-head

Rules

60×	`times-frac`
33×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
27×	`cbrt-prod`
24×	`associate-/r*`
22×	`cbrt-div`
16×	`add-exp-log`
11×	`flip3-+` `flip-+`
10×	`add-cbrt-cube`
8×	`associate-/l/`
6×	`cbrt-undiv` `div-exp`
5×	`associate-/r/`
4×	`pow1` `frac-times` `add-log-exp`
3×	`pow1/3` `div-inv`
2×	`associate-r/` `associate-l/` `prod-exp` `cbrt-unprod`
1×	`frac-2neg` `clear-num` `associate-/l*`

Counts

4 → 115

Calls

4 calls:

12.0ms	(cbrt (+ (* z (+ (* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t)) a)) b))
12.0ms	(cbrt (+ (* z (+ (* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t)) a)) b))
11.0ms	(cbrt (+ (* z (+ (* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t)) a)) b))
50.0ms	(/ (* (cbrt (+ (* z (+ (* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t)) a)) b)) (cbrt (+ (* z (+ (* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t)) a)) b))) (/ (+ (* z (+ (* z (+ (* z (+ z 15.234687407)) 31.4690115749)) 11.9400905721)) 0.607771387771) (cbrt (+ (* z (+ (* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t)) a)) b))))

series193.0ms

Counts

4 → 12

Calls

4 calls:

45.0ms	(cbrt (+ (* z (+ (* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t)) a)) b))
47.0ms	(cbrt (+ (* z (+ (* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t)) a)) b))
47.0ms	(cbrt (+ (* z (+ (* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t)) a)) b))
54.0ms	(/ (* (cbrt (+ (* z (+ (* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t)) a)) b)) (cbrt (+ (* z (+ (* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t)) a)) b))) (/ (+ (* z (+ (* z (+ (* z (+ z 15.234687407)) 31.4690115749)) 11.9400905721)) 0.607771387771) (cbrt (+ (* z (+ (* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t)) a)) b))))

simplify98.0ms

Algorithm

egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4950	6320
1	4950	6320

prune535.0ms

Filtered

101 candidates to 127 candidates (-25.7%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	127	0	127
Fresh	0	4	4
Picked	0	1	1
Done	0	3	3
Total	127	8	135

Merged error: 0b

Counts

135 → 8

regimes1.1s

Accuracy

96.1% (1.0b remaining)

Error of 1.4b against oracle of 0.3b and baseline of 26.7b

bsearch76.0ms

Steps

Iters	Range		Point
9	3705132279795573.0	8.492448383995562e+21	8.97608961585734e+17
9	-4.1960439976588496e+27	-3.542062039510441e+20	-4.964156412754923e+20

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	72	75
1	72	75

end0.0ms

sample1.3s

Algorithm

intervals

Results

800.0ms

8866×

body

valid

Details

sample46.0ms

simplify61.0ms

prune18.0ms

localize23.0ms

rewrite71.0ms

series204.0ms

simplify77.0ms

prune322.0ms

localize10.0ms

rewrite26.0ms

series36.0ms

simplify49.0ms

prune120.0ms

localize10.0ms

rewrite40.0ms

series42.0ms

simplify47.0ms

prune160.0ms

localize32.0ms

rewrite89.0ms

series193.0ms

simplify98.0ms

prune535.0ms

regimes1.1s

bsearch76.0ms

simplify1.0ms

end0.0ms

sample1.3s

Profiling