Details

sample76.0ms

Algorithm

intervals

Results

23.0ms	361×	body	80	valid
23.0ms	394×	body	80	nan

simplify110.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (108.0ms)

Iter	Nodes	Cost
0	5577	24

prune14.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: 4.5b

Counts

2 → 2

localize17.0ms

Local error

Found 4 expressions with local error:

0.1b	(- (* (- x 0.5) (log x)) x)
0.1b	(* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z)
0.2b	(+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)
4.0b	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 89

Calls

4 calls:

7.0ms	(- (* (- x 0.5) (log x)) x)
9.0ms	(* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z)
11.0ms	(+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)
12.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

series106.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(- (* (- x 0.5) (log x)) x)
8.0ms	(* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z)
37.0ms	(+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)
25.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify63.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5175	1398

prune227.0ms

Filtered

83 candidates to 101 candidates (-21.7%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	89	12	101
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	91	12	103

Merged error: 0.6b

Counts

103 → 12

localize26.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt x)
0.6b	(cbrt x)
0.6b	(cbrt x)
4.0b	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`cbrt-prod` `times-frac`
6×	`add-exp-log` `add-cbrt-cube`
4×	`pow1` `add-log-exp`
3×	`pow1/3` `associate-/r` `associate-/l`
2×	`associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `flip3-+` `div-exp` `clear-num` `flip-+` `div-inv`

Counts

4 → 62

Calls

4 calls:

1.0ms	(cbrt x)
1.0ms	(cbrt x)
1.0ms	(cbrt x)
12.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

series91.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(cbrt x)
22.0ms	(cbrt x)
22.0ms	(cbrt x)
22.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify60.0ms

Algorithm

egg-herbie

Counts

74 → 74

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4934	765
1	4934	765

prune164.0ms

Filtered

58 candidates to 74 candidates (-27.6%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	71	3	74
Fresh	2	9	11
Picked	1	0	1
Done	0	0	0
Total	74	12	86

Merged error: 0.5b

Counts

86 → 12

localize30.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt x)
0.6b	(cbrt x)
4.0b	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)
5.1b	(pow x 1/3)

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`times-frac`
7×	`add-exp-log`
6×	`cbrt-prod` `add-cbrt-cube`
5×	`pow1`
4×	`add-log-exp`
3×	`unpow-prod-down` `pow-unpow` `associate-/r` `associate-/l`
2×	`pow1/3` `associate-/l/`
1×	`cbrt-undiv` `pow-to-exp` `pow-pow` `frac-2neg` `flip3-+` `unpow1/3` `div-exp` `pow-exp` `clear-num` `flip-+` `div-inv` `sqr-pow`

Counts

4 → 69

Calls

4 calls:

1.0ms	(cbrt x)
1.0ms	(cbrt x)
12.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)
2.0ms	(pow x 1/3)

series87.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(cbrt x)
22.0ms	(cbrt x)
22.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)
21.0ms	(pow x 1/3)

simplify35.0ms

Algorithm

egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	5071	763

prune202.0ms

Filtered

61 candidates to 81 candidates (-32.8%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	80	1	81
Fresh	0	11	11
Picked	1	0	1
Done	0	0	0
Total	81	12	93

Merged error: 0.5b

Counts

93 → 12

localize42.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt x)
4.0b	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)
5.1b	(pow (pow x (sqrt 1/3)) (sqrt 1/3))
5.8b	(pow x (sqrt 1/3))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
13×	`unpow-prod-down`
12×	`pow-unpow`
9×	`add-exp-log` `times-frac`
6×	`sqrt-prod` `add-cbrt-cube`
5×	`pow1` `pow-exp`
4×	`add-log-exp`
3×	`cbrt-prod` `pow-to-exp` `associate-/r` `associate-/l` `sqr-pow`
2×	`pow-pow` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `flip3-+` `pow1/3` `div-exp` `clear-num` `flip-+` `div-inv`

Counts

4 → 86

Calls

4 calls:

1.0ms	(cbrt x)
12.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)
4.0ms	(pow (pow x (sqrt 1/3)) (sqrt 1/3))
3.0ms	(pow x (sqrt 1/3))

series120.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(cbrt x)
23.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)
52.0ms	(pow (pow x (sqrt 1/3)) (sqrt 1/3))
22.0ms	(pow x (sqrt 1/3))

simplify60.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4953	989
1	4953	989

prune235.0ms

Filtered

69 candidates to 98 candidates (-42.0%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	98	0	98
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	98	12	110

Merged error: 0.5b

Counts

110 → 12

regimes680.0ms

Accuracy

91.8% (0.5b remaining)

Error of 0.6b against oracle of 0.1b and baseline of 6.0b

bsearch24.0ms

Steps

Iters	Range		Point
7	6.320811913352838e+67	7.743238581825918e+69	8.809221349157769e+67

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	110	71
1	110	71

end0.0ms

sample2.2s

Algorithm

intervals

Results

774.0ms	11635×	body	80	valid
679.0ms	11500×	body	80	nan

Details

sample76.0ms

simplify110.0ms

prune14.0ms

localize17.0ms

rewrite42.0ms

series106.0ms

simplify63.0ms

prune227.0ms

localize26.0ms

rewrite17.0ms

series91.0ms

simplify60.0ms

prune164.0ms

localize30.0ms

rewrite20.0ms

series87.0ms

simplify35.0ms

prune202.0ms

localize42.0ms

rewrite22.0ms

series120.0ms

simplify60.0ms

prune235.0ms

regimes680.0ms

bsearch24.0ms

simplify3.0ms

end0.0ms

sample2.2s

Profiling