Details

sample41.0ms

Algorithm

intervals

Results

19.0ms

287×

body

valid

simplify57.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

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

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 27.2b

localize30.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)
4.1b	(* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
25.2b	(/ (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))

rewrite125.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:

20.0ms	(* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z)
10.0ms	(* (+ (* z 3.13060547623) 11.1667541262) z)
51.0ms	(* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
42.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))

series701.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z)
64.0ms	(* (+ (* z 3.13060547623) 11.1667541262) z)
166.0ms	(* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
434.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))

simplify75.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 1 (14.0ms)

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

prune440.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 2.6b

localize27.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)
0.1b	(/ y (/ (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771) (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)))
24.9b	(/ (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771) (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))

rewrite130.0ms

Algorithm

rewrite-expression-head

Rules

90×	`times-frac`
64×	`add-sqr-sqrt`
60×	`add-cube-cbrt` `*-un-lft-identity`
18×	`associate-/r*`
15×	`add-exp-log` `add-cbrt-cube`
11×	`associate-/r/`
8×	`pow1` `flip3-+` `flip-+`
6×	`associate-r` `associate-l` `div-inv` `associate-/l*`
4×	`cbrt-undiv` `div-exp` `associate-*l/` `add-log-exp`
2×	`frac-2neg` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `cbrt-unprod` `associate-/l/` `unswap-sqr`

Counts

4 → 149

Calls

4 calls:

19.0ms	(* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z)
10.0ms	(* (+ (* z 3.13060547623) 11.1667541262) z)
47.0ms	(/ y (/ (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771) (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)))
48.0ms	(/ (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771) (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))

series673.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z)
64.0ms	(* (+ (* z 3.13060547623) 11.1667541262) z)
443.0ms	(/ y (/ (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771) (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)))
129.0ms	(/ (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771) (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))

simplify101.0ms

Algorithm

egg-herbie

Counts

161 → 161

Iterations

Useful iterations: 2 (70.0ms)

Iter	Nodes	Cost
0	732	3514
1	3384	3308
2	5001	3307

prune762.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 2.6b

localize34.0ms

Local error

Found 4 expressions with local error:

15.2b	(cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))
15.2b	(cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))
15.2b	(cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))
21.7b	(/ (/ y (* (cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)) (cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)))) (/ (cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)) (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)))

rewrite235.0ms

Algorithm

rewrite-expression-head

Rules

723×	`times-frac`
306×	`cbrt-div`
265×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
233×	`associate-/r/`
169×	`flip3-+` `flip-+`
153×	`cbrt-prod`
100×	`frac-times`
50×	`associate-r/` `associate-l/`
42×	`div-inv`
25×	`add-exp-log`
24×	`associate-/r*`
18×	`add-cbrt-cube`
15×	`associate-/l*`
13×	`cbrt-undiv` `div-exp`
4×	`pow1` `add-log-exp`
3×	`pow1/3`
2×	`prod-exp` `cbrt-unprod`
1×	`frac-2neg` `clear-num` `associate-/l/`

Counts

4 → 462

Calls

4 calls:

12.0ms	(cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))
12.0ms	(cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))
14.0ms	(cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))
152.0ms	(/ (/ y (* (cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)) (cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)))) (/ (cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)) (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)))

series824.0ms

Counts

4 → 12

Calls

4 calls:

124.0ms	(cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))
125.0ms	(cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))
123.0ms	(cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))
452.0ms	(/ (/ y (* (cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)) (cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)))) (/ (cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)) (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)))

simplify310.0ms

Algorithm

egg-herbie

Counts

474 → 474

Iterations

Useful iterations: 1 (42.0ms)

Iter	Nodes	Cost
0	2607	31535
1	5001	31107

prune3.2s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 2.6b

localize5.0ms

Local error

Found 2 expressions with local error:

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

rewrite9.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:

2.0ms	(+ x (* 1.6453555072203998 (* y b)))
6.0ms	(* 1.6453555072203998 (* y b))

series55.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify73.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

prune62.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 2.6b

regimes675.0ms

Accuracy

94.6% (1.3b remaining)

Error of 4.7b against oracle of 3.4b and baseline of 27.6b

bsearch188.0ms

Steps

Iters	Range		Point
7	1.2861615484174626e+45	3.6963524777395996e+46	2.1951524567363216e+46
5	-9.541354664698975e+38	-3.2525529892986453e+38	-9.382879080568633e+38

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	71	27
1	71	27

end0.0ms

sample902.0ms

Algorithm

intervals

Results

598.0ms

8892×

body

valid