Details

sample44.0ms

Algorithm

intervals

Results

24.0ms

277×

body

valid

simplify53.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	55	18
1	116	18
2	329	18
3	935	18
4	2876	18
5	5001	18

prune4.0ms

Filtered

1 candidates to 0 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: 29.9b

Counts

2 → 1

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 87

Calls

4 calls:

10.0ms	(* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z)
7.0ms	(* (+ (* z 3.13060547623) 11.1667541262) z)
15.0ms	(* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
26.0ms	(/ (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))

series698.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z)
62.0ms	(* (+ (* z 3.13060547623) 11.1667541262) z)
161.0ms	(* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
437.0ms	(/ (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))

simplify78.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 1 (15.0ms)

Iter	Nodes	Cost
0	576	1201
1	2797	1026
2	5001	1026

prune382.0ms

Filtered

99 candidates to 71 candidates (71.7%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	93	6	99
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	94	6	100

Merged error: 3.0b

Counts

100 → 6

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ x (* 1.6453555072203998 (* y b)))
0.2b	(* 1.6453555072203998 (* y b))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

7×	`pow1` `add-exp-log` `add-cbrt-cube`
4×	`add-log-exp`
3×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-l*` `pow-prod-down` `prod-exp` `cbrt-unprod`
1×	`+-commutative` `flip3-+` `associate-r` `sum-log` `*-commutative` `flip-+`

Counts

2 → 29

Calls

2 calls:

3.0ms	(+ x (* 1.6453555072203998 (* y b)))
5.0ms	(* 1.6453555072203998 (* y b))

series59.0ms

Counts

2 → 6

Calls

2 calls:

39.0ms	(+ x (* 1.6453555072203998 (* y b)))
20.0ms	(* 1.6453555072203998 (* y b))

simplify71.0ms

Algorithm

egg-herbie

Counts

35 → 35

Iterations

Useful iterations: 1 (5.0ms)

Iter	Nodes	Cost
0	149	139
1	529	122
2	2246	122
3	5002	122

prune80.0ms

Filtered

35 candidates to 22 candidates (62.9%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	31	4	35
Fresh	1	4	5
Picked	1	0	1
Done	0	0	0
Total	33	8	41

Merged error: 3.0b

Counts

41 → 8

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (* 1.6453555072203998 (* y b))) (cbrt (* 1.6453555072203998 (* y b))))
10.8b	(cbrt (* 1.6453555072203998 (* y b)))
10.8b	(cbrt (* 1.6453555072203998 (* y b)))
10.8b	(cbrt (* 1.6453555072203998 (* y b)))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

11×	`pow1`
10×	`add-sqr-sqrt`
9×	`pow1/3`
8×	`add-cube-cbrt` `*-un-lft-identity`
7×	`cbrt-prod`
6×	`add-exp-log`
4×	`swap-sqr` `associate-r` `associate-l` `add-cbrt-cube` `add-log-exp`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 58

Calls

4 calls:

6.0ms	(* (cbrt (* 1.6453555072203998 (* y b))) (cbrt (* 1.6453555072203998 (* y b))))
4.0ms	(cbrt (* 1.6453555072203998 (* y b)))
4.0ms	(cbrt (* 1.6453555072203998 (* y b)))
4.0ms	(cbrt (* 1.6453555072203998 (* y b)))

series440.0ms

Counts

4 → 12

Calls

4 calls:

143.0ms	(* (cbrt (* 1.6453555072203998 (* y b))) (cbrt (* 1.6453555072203998 (* y b))))
99.0ms	(cbrt (* 1.6453555072203998 (* y b)))
99.0ms	(cbrt (* 1.6453555072203998 (* y b)))
98.0ms	(cbrt (* 1.6453555072203998 (* y b)))

simplify100.0ms

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 3 (94.0ms)

Iter	Nodes	Cost
0	205	441
1	703	390
2	3412	330
3	5001	323

prune202.0ms

Filtered

70 candidates to 56 candidates (80.0%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	69	1	70
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	69	9	78

Merged error: 3.0b

Counts

78 → 9

localize12.0ms

Local error

Found 4 expressions with local error:

1.1b	(pow (cbrt (cbrt (* 1.6453555072203998 (* y b)))) 5)
10.8b	(cbrt (* 1.6453555072203998 (* y b)))
10.8b	(cbrt (* 1.6453555072203998 (* y b)))
10.8b	(cbrt (* 1.6453555072203998 (* y b)))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

8×	`cbrt-prod`
7×	`add-sqr-sqrt` `add-cube-cbrt` `unpow-prod-down` `*-un-lft-identity`
5×	`pow1` `add-exp-log`
4×	`pow1/3` `add-cbrt-cube` `add-log-exp`
3×	`pow-unpow`
2×	`pow-pow`
1×	`pow-to-exp` `pow-exp` `sqr-pow`

Counts

4 → 49

Calls

4 calls:

4.0ms	(pow (cbrt (cbrt (* 1.6453555072203998 (* y b)))) 5)
4.0ms	(cbrt (* 1.6453555072203998 (* y b)))
4.0ms	(cbrt (* 1.6453555072203998 (* y b)))
4.0ms	(cbrt (* 1.6453555072203998 (* y b)))

series624.0ms

Counts

4 → 12

Calls

4 calls:

324.0ms	(pow (cbrt (cbrt (* 1.6453555072203998 (* y b)))) 5)
100.0ms	(cbrt (* 1.6453555072203998 (* y b)))
103.0ms	(cbrt (* 1.6453555072203998 (* y b)))
97.0ms	(cbrt (* 1.6453555072203998 (* y b)))

simplify60.0ms

Algorithm

egg-herbie

Counts

61 → 61

Iterations

Useful iterations: 3 (54.0ms)

Iter	Nodes	Cost
0	221	410
1	572	372
2	1805	348
3	5002	346

prune222.0ms

Filtered

61 candidates to 52 candidates (85.2%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	59	2	61
Fresh	0	7	7
Picked	1	0	1
Done	0	1	1
Total	60	10	70

Merged error: 3.0b

Counts

70 → 10

regimes530.0ms

Accuracy

92.2% (1.8b remaining)

Error of 4.9b against oracle of 3.1b and baseline of 25.7b

bsearch229.0ms

Steps

Iters	Range		Point
7	808.5587592212117	61499.48832568556	60693.39563921865
7	-6.821300429682039e+69	-2.861606248458871e+68	-2.2841213631766753e+69

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	72	27
1	72	27

end0.0ms

sample1.1s

Algorithm

intervals

Results

805.0ms

8932×

body

valid

Details

sample44.0ms

simplify53.0ms

prune4.0ms

localize28.0ms

rewrite60.0ms

series698.0ms

simplify78.0ms

prune382.0ms

localize5.0ms

rewrite8.0ms

series59.0ms

simplify71.0ms

prune80.0ms

localize13.0ms

rewrite18.0ms

series440.0ms

simplify100.0ms

prune202.0ms

localize12.0ms

rewrite16.0ms

series624.0ms

simplify60.0ms

prune222.0ms

regimes530.0ms

bsearch229.0ms

simplify2.0ms

end0.0ms

sample1.1s

Profiling