Details

sample30.0ms

Algorithm

intervals

Results

10.0ms

256×

body

valid

simplify5.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	15	6
1	22	6
2	22	6

prune3.0ms

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: 2.6b

Counts

2 → 1

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (/ y (- (* 1.1283791670955126 (exp z)) (* x y))))
0.0b	(* 1.1283791670955126 (exp z))
1.0b	(- (* 1.1283791670955126 (exp z)) (* x y))
4.5b	(/ y (- (* 1.1283791670955126 (exp z)) (* x y)))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt` `*-un-lft-identity`
14×	`add-cube-cbrt`
9×	`times-frac`
8×	`add-cbrt-cube` `add-log-exp`
7×	`add-exp-log`
6×	`pow1`
3×	`associate-r` `associate-l` `associate-/r` `associate-/l`
2×	`flip3--` `associate-/r/` `flip--`
1×	`cbrt-undiv` `+-commutative` `sub-neg` `frac-2neg` `flip3-+` `diff-log` `div-exp` `pow-prod-down` `prod-exp` `clear-num` `sum-log` `*-commutative` `cbrt-unprod` `flip-+` `div-inv` `distribute-lft-out` `unswap-sqr`

Counts

4 → 71

Calls

4 calls:

8.0ms	(+ x (/ y (- (* 1.1283791670955126 (exp z)) (* x y))))
4.0ms	(* 1.1283791670955126 (exp z))
4.0ms	(- (* 1.1283791670955126 (exp z)) (* x y))
6.0ms	(/ y (- (* 1.1283791670955126 (exp z)) (* x y)))

series51.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(+ x (/ y (- (* 1.1283791670955126 (exp z)) (* x y))))
2.0ms	(* 1.1283791670955126 (exp z))
12.0ms	(- (* 1.1283791670955126 (exp z)) (* x y))
22.0ms	(/ y (- (* 1.1283791670955126 (exp z)) (* x y)))

simplify38.0ms

Algorithm

egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 2 (30.0ms)

Iter	Nodes	Cost
0	329	592
1	1175	552
2	5001	551

prune113.0ms

Filtered

63 candidates to 83 candidates (-31.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	80	3	83
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	80	4	84

Merged error: 0b

Counts

84 → 4

localize11.0ms

Local error

Found 4 expressions with local error:

0.1b	(pow (- (* 1.1283791670955126 (exp z)) (* x y)) 3)
1.0b	(- (* 1.1283791670955126 (exp z)) (* x y))
4.5b	(/ y (cbrt (pow (- (* 1.1283791670955126 (exp z)) (* x y)) 3)))
13.4b	(cbrt (pow (- (* 1.1283791670955126 (exp z)) (* x y)) 3))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

60×	`cbrt-prod`
45×	`times-frac`
42×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
18×	`unpow-prod-down` `cube-prod`
15×	`associate-/r*`
7×	`add-exp-log`
6×	`cube-div` `cube-mult` `unpow3` `add-cbrt-cube` `add-log-exp` `sqr-pow`
5×	`pow1`
4×	`cbrt-div` `flip3--` `flip--`
3×	`pow-unpow` `associate-/l*`
2×	`associate-/r/`
1×	`cbrt-undiv` `pow-to-exp` `sub-neg` `pow-pow` `frac-2neg` `pow1/3` `diff-log` `div-exp` `pow-exp` `clear-num` `rem-cbrt-cube` `div-inv` `rem-cube-cbrt`

Counts

4 → 137

Calls

4 calls:

5.0ms	(pow (- (* 1.1283791670955126 (exp z)) (* x y)) 3)
4.0ms	(- (* 1.1283791670955126 (exp z)) (* x y))
8.0ms	(/ y (cbrt (pow (- (* 1.1283791670955126 (exp z)) (* x y)) 3)))
5.0ms	(cbrt (pow (- (* 1.1283791670955126 (exp z)) (* x y)) 3))

series72.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(pow (- (* 1.1283791670955126 (exp z)) (* x y)) 3)
11.0ms	(- (* 1.1283791670955126 (exp z)) (* x y))
22.0ms	(/ y (cbrt (pow (- (* 1.1283791670955126 (exp z)) (* x y)) 3)))
14.0ms	(cbrt (pow (- (* 1.1283791670955126 (exp z)) (* x y)) 3))

simplify59.0ms

Algorithm

egg-herbie

Counts

149 → 149

Iterations

Useful iterations: 2 (42.0ms)

Iter	Nodes	Cost
0	435	1536
1	1752	1436
2	5001	1415

prune142.0ms

Filtered

79 candidates to 149 candidates (-88.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	149	0	149
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	149	4	153

Merged error: 0b

Counts

153 → 4

localize3.0ms

Local error

Found 1 expressions with local error:

0.0b	(- x (/ 1 x))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt`
5×	`*-un-lft-identity`
3×	`add-log-exp` `difference-of-squares`
2×	`times-frac` `distribute-lft-out--`
1×	`pow1` `add-exp-log` `add-cube-cbrt` `sub-neg` `flip3--` `diff-log` `add-cbrt-cube` `flip--` `div-inv`

Counts

1 → 17

Calls

1 calls:

6.0ms

(- x (/ 1 x))

series3.0ms

Counts

1 → 3

Calls

1 calls:

3.0ms

(- x (/ 1 x))

simplify76.0ms

Algorithm

egg-herbie

Counts

20 → 20

Iterations

Useful iterations: 2 (10.0ms)

Iter	Nodes	Cost
0	82	88
1	229	82
2	1594	79
3	5001	79

prune22.0ms

Filtered

12 candidates to 20 candidates (-66.7%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	20	0	20
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	20	4	24

Merged error: 0b

Counts

24 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (* y (+ (* 0.443113462726379 (pow z 2)) (- 0.886226925452758 (* 0.886226925452758 z)))))
0.0b	(- 0.886226925452758 (* 0.886226925452758 z))
0.1b	(* 0.443113462726379 (pow z 2))
3.8b	(* y (+ (* 0.443113462726379 (pow z 2)) (- 0.886226925452758 (* 0.886226925452758 z))))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
11×	`add-exp-log` `associate-r`
9×	`add-cube-cbrt` `*-un-lft-identity`
8×	`add-cbrt-cube` `add-log-exp`
6×	`pow1` `associate-l`
5×	`unswap-sqr`
4×	`unpow-prod-down` `prod-exp`
2×	`distribute-rgt-in` `associate-+r+` `distribute-lft-in` `flip3-+` `associate-r/` `-commutative` `cbrt-unprod` `flip-+` `unpow2` `sqr-pow`
1×	`+-commutative` `pow-to-exp` `sub-neg` `flip3--` `diff-log` `pow-prod-down` `pow-exp` `sum-log` `flip--`

Counts

4 → 74

Calls

4 calls:

3.0ms	(+ x (* y (+ (* 0.443113462726379 (pow z 2)) (- 0.886226925452758 (* 0.886226925452758 z)))))
2.0ms	(- 0.886226925452758 (* 0.886226925452758 z))
5.0ms	(* 0.443113462726379 (pow z 2))
7.0ms	(* y (+ (* 0.443113462726379 (pow z 2)) (- 0.886226925452758 (* 0.886226925452758 z))))

series38.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(+ x (* y (+ (* 0.443113462726379 (pow z 2)) (- 0.886226925452758 (* 0.886226925452758 z)))))
3.0ms	(- 0.886226925452758 (* 0.886226925452758 z))
3.0ms	(* 0.443113462726379 (pow z 2))
11.0ms	(* y (+ (* 0.443113462726379 (pow z 2)) (- 0.886226925452758 (* 0.886226925452758 z))))

simplify50.0ms

Algorithm

egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 2 (40.0ms)

Iter	Nodes	Cost
0	372	519
1	1573	469
2	5002	468

prune105.0ms

Filtered

58 candidates to 86 candidates (-48.3%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	86	0	86
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	86	4	90

Merged error: 0b

Counts

90 → 4

regimes298.0ms

Accuracy

54.9% (1.2b remaining)

Error of 1.2b against oracle of 0.0b and baseline of 2.7b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	14
1	21	14

end0.0ms

sample588.0ms

Algorithm

intervals

Results

333.0ms

8000×

body

valid

Details

sample30.0ms

simplify5.0ms

prune3.0ms

localize8.0ms

rewrite24.0ms

series51.0ms

simplify38.0ms

prune113.0ms

localize11.0ms

rewrite27.0ms

series72.0ms

simplify59.0ms

prune142.0ms

localize3.0ms

rewrite6.0ms

series3.0ms

simplify76.0ms

prune22.0ms

localize10.0ms

rewrite19.0ms

series38.0ms

simplify50.0ms

prune105.0ms

regimes298.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample588.0ms

Profiling