Details

analyze1.5s

Algorithm

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	99.6%	0.4%	8
0%	99.6%	0.4%	9
0%	99.6%	0.4%	10
0%	99.6%	0.4%	11
0%	99.6%	0.4%	12
0%	99.6%	0.4%	13
0%	99.6%	0.4%	14

sample64.0ms

Algorithm

intervals

Results

18.0ms	256×	body	80	valid
9.0ms	173×	body	80	invalid

simplify13.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	67	22
1	67	22

prune10.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: 0.0b

Counts

2 → 1

localize24.0ms

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))
0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.0b	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-log-exp_binary64_1181`
10×	`sum-log_binary64_1131`
3×	`*-un-lft-identity_binary64_1216` `flip-+_binary64_1241` `add-cbrt-cube_binary64_1188` `pow1_binary64_1162` `flip3-+_binary64_1214` `add-exp-log_binary64_1180` `add-sqr-sqrt_binary64_1201` `add-cube-cbrt_binary64_1187` `+-commutative_binary64_1283`
2×	`associate-+l+_binary64_1268`

Counts

3 → 38

Calls

3 calls:

10.0ms	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))
4.0ms	(+.f64 (.f64 x y) (.f64 z t))
7.0ms	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))

series335.0ms

Counts

3 → 9

Calls

3 calls:

234.0ms	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))
35.0ms	(+.f64 (.f64 x y) (.f64 z t))
66.0ms	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))

simplify55.0ms

Algorithm

egg-herbie

Counts

47 → 47

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5023	1004

prune175.0ms

Filtered

37 candidates to 47 candidates (-27.0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	45	2	47
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	45	3	48

Merged error: 0.0b

Counts

48 → 3

localize31.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 z t) (.f64 x y))
0.0b	(+.f64 (.f64 a b) (+.f64 (.f64 z t) (*.f64 x y)))
0.3b	(pow.f64 (+.f64 (.f64 a b) (+.f64 (.f64 z t) (*.f64 x y))) 3)
34.7b	(cbrt.f64 (pow.f64 (+.f64 (.f64 a b) (+.f64 (.f64 z t) (*.f64 x y))) 3))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod_binary64_1183`
11×	`add-log-exp_binary64_1181`
10×	`*-un-lft-identity_binary64_1216` `add-sqr-sqrt_binary64_1201` `add-cube-cbrt_binary64_1187`
6×	`unpow-prod-down_binary64_1151` `cube-prod_binary64_1189`
5×	`add-cbrt-cube_binary64_1188` `pow1_binary64_1162` `add-exp-log_binary64_1180`
4×	`sum-log_binary64_1131` `cube-div_binary64_1190` `flip-+_binary64_1241` `flip3-+_binary64_1214`
3×	`pow-unpow_binary64_1149`
2×	`cube-mult_binary64_1191` `unpow3_binary64_1160` `sqr-pow_binary64_1248` `+-commutative_binary64_1283` `cbrt-div_binary64_1184`
1×	`pow-exp_binary64_1140` `pow-to-exp_binary64_1141` `pow1/3_binary64_1154` `associate-+r+_binary64_1267` `pow-pow_binary64_1144` `rem-cbrt-cube_binary64_1193` `rem-cube-cbrt_binary64_1192`

Counts

4 → 72

Calls

4 calls:

4.0ms	(+.f64 (.f64 z t) (.f64 x y))
7.0ms	(+.f64 (.f64 a b) (+.f64 (.f64 z t) (*.f64 x y)))
7.0ms	(pow.f64 (+.f64 (.f64 a b) (+.f64 (.f64 z t) (*.f64 x y))) 3)
7.0ms	(cbrt.f64 (pow.f64 (+.f64 (.f64 a b) (+.f64 (.f64 z t) (*.f64 x y))) 3))

series2.9s

Counts

4 → 12

Calls

4 calls:

37.0ms	(+.f64 (.f64 z t) (.f64 x y))
66.0ms	(+.f64 (.f64 a b) (+.f64 (.f64 z t) (*.f64 x y)))
2.7s	(pow.f64 (+.f64 (.f64 a b) (+.f64 (.f64 z t) (*.f64 x y))) 3)
64.0ms	(cbrt.f64 (pow.f64 (+.f64 (.f64 a b) (+.f64 (.f64 z t) (*.f64 x y))) 3))

simplify72.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5000	1930

prune193.0ms

Filtered

53 candidates to 84 candidates (-58.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	84	0	84
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	84	3	87

Merged error: 0.0b

Counts

87 → 3

localize33.0ms

Local error

Found 4 expressions with local error:

0.8b	(.f64 (+.f64 (.f64 z t) (.f64 x y)) (-.f64 (+.f64 (.f64 z t) (.f64 x y)) (.f64 a b)))
2.0b	(+.f64 (.f64 (.f64 a b) (.f64 a b)) (.f64 (+.f64 (.f64 z t) (.f64 x y)) (-.f64 (+.f64 (.f64 z t) (.f64 x y)) (*.f64 a b))))
4.0b	(+.f64 (pow.f64 (+.f64 (.f64 z t) (.f64 x y)) 3) (pow.f64 (*.f64 a b) 3))
35.9b	(/.f64 (+.f64 (pow.f64 (+.f64 (.f64 z t) (.f64 x y)) 3) (pow.f64 (.f64 a b) 3)) (+.f64 (.f64 (.f64 a b) (.f64 a b)) (.f64 (+.f64 (.f64 z t) (.f64 x y)) (-.f64 (+.f64 (.f64 z t) (.f64 x y)) (.f64 a b)))))

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

26×	`*-un-lft-identity_binary64_1216`
18×	`add-sqr-sqrt_binary64_1201`
16×	`add-cube-cbrt_binary64_1187`
15×	`times-frac_binary64_1211`
8×	`add-cbrt-cube_binary64_1188` `add-exp-log_binary64_1180` `add-log-exp_binary64_1181`
7×	`flip-+_binary64_1241` `flip3-+_binary64_1214`
6×	`pow1_binary64_1162`
5×	`distribute-lft-out_binary64_1260` `associate-/l*_binary64_1280` `sum-cubes_binary64_1212`
4×	`frac-times_binary64_1208` `associate-+r+_binary64_1267` `sub-neg_binary64_1220` `associate--l+_binary64_1272` `distribute-lft-in_binary64_1258` `distribute-rgt-in_binary64_1259`
3×	`flip3--_binary64_1215` `associate-l_binary64_1276` `associate-r_binary64_1275` `associate-/r*_binary64_1279` `flip--_binary64_1242`
2×	`sum-log_binary64_1131` `associate-l/_binary64_1278` `associate-r/_binary64_1277` `associate-/r/_binary64_1281` `associate-/l/_binary64_1282` `+-commutative_binary64_1283`
1×	`div-exp_binary64_1169` `cbrt-unprod_binary64_1185` `pow-prod-down_binary64_1143` `div-inv_binary64_1217` `clear-num_binary64_1219` `unswap-sqr_binary64_1244` `cbrt-undiv_binary64_1186` `prod-exp_binary64_1167` `*-commutative_binary64_1284` `frac-2neg_binary64_1209`

Counts

4 → 97

Calls

4 calls:

12.0ms	(.f64 (+.f64 (.f64 z t) (.f64 x y)) (-.f64 (+.f64 (.f64 z t) (.f64 x y)) (.f64 a b)))
12.0ms	(+.f64 (.f64 (.f64 a b) (.f64 a b)) (.f64 (+.f64 (.f64 z t) (.f64 x y)) (-.f64 (+.f64 (.f64 z t) (.f64 x y)) (*.f64 a b))))
17.0ms	(+.f64 (pow.f64 (+.f64 (.f64 z t) (.f64 x y)) 3) (pow.f64 (*.f64 a b) 3))
21.0ms	(/.f64 (+.f64 (pow.f64 (+.f64 (.f64 z t) (.f64 x y)) 3) (pow.f64 (.f64 a b) 3)) (+.f64 (.f64 (.f64 a b) (.f64 a b)) (.f64 (+.f64 (.f64 z t) (.f64 x y)) (-.f64 (+.f64 (.f64 z t) (.f64 x y)) (.f64 a b)))))

series4.4s

Counts

4 → 12

Calls

4 calls:

222.0ms	(.f64 (+.f64 (.f64 z t) (.f64 x y)) (-.f64 (+.f64 (.f64 z t) (.f64 x y)) (.f64 a b)))
657.0ms	(+.f64 (.f64 (.f64 a b) (.f64 a b)) (.f64 (+.f64 (.f64 z t) (.f64 x y)) (-.f64 (+.f64 (.f64 z t) (.f64 x y)) (*.f64 a b))))
2.9s	(+.f64 (pow.f64 (+.f64 (.f64 z t) (.f64 x y)) 3) (pow.f64 (*.f64 a b) 3))
575.0ms	(/.f64 (+.f64 (pow.f64 (+.f64 (.f64 z t) (.f64 x y)) 3) (pow.f64 (.f64 a b) 3)) (+.f64 (.f64 (.f64 a b) (.f64 a b)) (.f64 (+.f64 (.f64 z t) (.f64 x y)) (-.f64 (+.f64 (.f64 z t) (.f64 x y)) (.f64 a b)))))

simplify109.0ms

Algorithm

egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5671	6272

prune332.0ms

Filtered

86 candidates to 109 candidates (-26.7%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	109	0	109
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	109	3	112

Merged error: 0.0b

Counts

112 → 3

regimes1.6s

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	23	22
1	23	22

end0.0ms

sample1.8s

Algorithm

intervals

Results

523.0ms	5585×	body	80	invalid
428.0ms	8000×	body	80	valid

Details

analyze1.5s

sample64.0ms

simplify13.0ms

prune10.0ms

localize24.0ms

rewrite22.0ms

series335.0ms

simplify55.0ms

prune175.0ms

localize31.0ms

rewrite27.0ms

series2.9s

simplify72.0ms

prune193.0ms

localize33.0ms

rewrite65.0ms

series4.4s

simplify109.0ms

prune332.0ms

regimes1.6s

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.8s

Profiling