Details

analyze917.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	100%	0%	3
0%	100%	0%	4
0%	100%	0%	5
0%	100%	0%	6
0%	100%	0%	7
0%	100%	0%	8
0%	100%	0%	9
0%	100%	0%	10
0%	100%	0%	11
0%	100%	0%	12
3%	46.9%	50%	13
3.1%	46.8%	50%	14

sample89.0ms

Algorithm

intervals

Results

49.0ms	114×	body	2560	valid
23.0ms	80×	body	1280	valid
7.0ms	31×	body	640	valid
2.0ms	15×	body	320	valid
1.0ms	11×	body	160	valid
0.0ms	5×	body	80	valid

simplify60.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	5044	14

prune2.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.3b

Counts

2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1))
0.1b	(.f64 5 (.f64 v v))
0.3b	(acos.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1)))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64`
19×	`*-un-lft-identity_binary64`
18×	`times-frac_binary64`
15×	`add-cube-cbrt_binary64`
10×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`pow1_binary64` `difference-of-squares_binary64`
6×	`associate-/r*_binary64`
4×	`difference-of-sqr-1_binary64`
3×	`pow-prod-down_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `associate-l_binary64` `prod-exp_binary64` `associate-/l*_binary64`
2×	`associate-/l/_binary64` `flip3--_binary64` `associate-/r/_binary64` `flip--_binary64`
1×	`acos-asin_binary64` `associate-r_binary64` `cbrt-undiv_binary64` `unswap-sqr_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64` `*-commutative_binary64`

Counts

3 → 71

Calls

3 calls:

9.0ms	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1))
6.0ms	(.f64 5 (.f64 v v))
1.0ms	(acos.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1)))

series12.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1))
3.0ms	(.f64 5 (.f64 v v))
3.0ms	(acos.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1)))

simplify45.0ms

Algorithm

egg-herbie

Counts

80 → 80

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	4932	1195
1	4932	1195

prune79.0ms

Filtered

54 candidates to 80 candidates (-48.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	77	3	80
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	78	3	81

Merged error: 0.3b

Counts

81 → 3

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1))
0.0b	(exp.f64 (log.f64 (acos.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1)))))
0.1b	(.f64 5 (.f64 v v))
0.3b	(acos.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1)))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64`
22×	`*-un-lft-identity_binary64`
18×	`add-cube-cbrt_binary64` `times-frac_binary64`
11×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
10×	`pow1_binary64`
8×	`difference-of-squares_binary64`
6×	`associate-/r*_binary64`
4×	`add-log-exp_binary64` `difference-of-sqr-1_binary64` `exp-prod_binary64`
3×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `log-prod_binary64` `associate-l_binary64` `exp-sum_binary64` `prod-exp_binary64` `associate-/l*_binary64`
2×	`associate-/l/_binary64` `flip3--_binary64` `associate-/r/_binary64` `flip--_binary64`
1×	`acos-asin_binary64` `associate-r_binary64` `cbrt-undiv_binary64` `log-pow_binary64` `rem-exp-log_binary64` `unswap-sqr_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64` `*-commutative_binary64`

Counts

4 → 86

Calls

4 calls:

9.0ms	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1))
2.0ms	(exp.f64 (log.f64 (acos.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1)))))
6.0ms	(.f64 5 (.f64 v v))
1.0ms	(acos.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1)))

series18.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1))
6.0ms	(exp.f64 (log.f64 (acos.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1)))))
4.0ms	(.f64 5 (.f64 v v))
3.0ms	(acos.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1)))

simplify46.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	4974	1461
1	4974	1461

prune96.0ms

Filtered

65 candidates to 98 candidates (-50.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	97	1	98
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	98	3	101

Merged error: 0.3b

Counts

101 → 3

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (+.f64 1 v)) (-.f64 v 1))
0.0b	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (+.f64 1 v))
0.1b	(.f64 5 (.f64 v v))
1.5b	(acos.f64 (/.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (+.f64 1 v)) (-.f64 v 1)))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

234×	`times-frac_binary64`
210×	`*-un-lft-identity_binary64`
174×	`add-sqr-sqrt_binary64`
97×	`add-cube-cbrt_binary64`
38×	`difference-of-squares_binary64`
28×	`distribute-lft-out_binary64`
21×	`associate-/l*_binary64`
20×	`associate-/r/_binary64`
19×	`difference-of-sqr-1_binary64` `distribute-lft-out--_binary64`
16×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
11×	`associate-/r*_binary64`
10×	`div-inv_binary64`
9×	`flip3-+_binary64` `pow1_binary64` `flip-+_binary64`
4×	`add-log-exp_binary64` `cbrt-undiv_binary64` `div-exp_binary64`
3×	`pow-prod-down_binary64` `associate-/l/_binary64` `cbrt-unprod_binary64` `associate-l_binary64` `div-sub_binary64` `prod-exp_binary64`
2×	`flip3--_binary64` `clear-num_binary64` `frac-2neg_binary64` `flip--_binary64`
1×	`acos-asin_binary64` `associate-r_binary64` `unswap-sqr_binary64` `*-commutative_binary64`

Counts

4 → 232

Calls

4 calls:

15.0ms	(/.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (+.f64 1 v)) (-.f64 v 1))
8.0ms	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (+.f64 1 v))
6.0ms	(.f64 5 (.f64 v v))
1.0ms	(acos.f64 (/.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (+.f64 1 v)) (-.f64 v 1)))

series17.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(/.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (+.f64 1 v)) (-.f64 v 1))
3.0ms	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (+.f64 1 v))
4.0ms	(.f64 5 (.f64 v v))
3.0ms	(acos.f64 (/.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (+.f64 1 v)) (-.f64 v 1)))

simplify76.0ms

Algorithm

egg-herbie

Counts

244 → 244

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5830	5591

prune223.0ms

Filtered

138 candidates to 244 candidates (-76.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	244	0	244
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	244	3	247

Merged error: 0.3b

Counts

247 → 3

localize13.0ms

Local error

Found 4 expressions with local error:

0.3b	(acos.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1)))
1.0b	(pow.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1)))) 2)
1.0b	(cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1))))
1.0b	(cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1))))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

9×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `cbrt-prod_binary64`
6×	`unpow-prod-down_binary64`
5×	`pow1_binary64` `add-exp-log_binary64`
4×	`add-log-exp_binary64` `add-cbrt-cube_binary64`
3×	`pow-unpow_binary64` `pow1/3_binary64`
2×	`pow-pow_binary64`
1×	`pow-to-exp_binary64` `acos-asin_binary64` `unpow2_binary64` `sqr-pow_binary64` `pow-exp_binary64`

Counts

4 → 52

Calls

4 calls:

1.0ms	(acos.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1)))
3.0ms	(pow.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1)))) 2)
1.0ms	(cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1))))
1.0ms	(cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1))))

series136.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(acos.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1)))
50.0ms	(pow.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1)))) 2)
41.0ms	(cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1))))
42.0ms	(cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1))))

simplify46.0ms

Algorithm

egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	4900	1106
1	4900	1106

prune77.0ms

Filtered

44 candidates to 64 candidates (-45.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	61	3	64
Fresh	0	0	0
Picked	1	0	1
Done	0	2	2
Total	62	5	67

Merged error: 0.3b

Counts

67 → 5

regimes133.0ms

Accuracy

0% (0.0b remaining)

Error of 0.5b against oracle of 0.5b and baseline of 0.5b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	68	16
1	68	16

end0.0ms

sample2.6s

Algorithm

intervals

Results

1.3s	3093×	body	2560	valid
710.0ms	2432×	body	1280	valid
272.0ms	1266×	body	640	valid
94.0ms	587×	body	320	valid
46.0ms	426×	body	160	valid
12.0ms	196×	body	80	valid
0.0ms	4×	body	80	nan

Details

analyze917.0ms

sample89.0ms

simplify60.0ms

prune2.0ms

localize8.0ms

rewrite18.0ms

series12.0ms

simplify45.0ms

prune79.0ms

localize12.0ms

rewrite21.0ms

series18.0ms

simplify46.0ms

prune96.0ms

localize10.0ms

rewrite42.0ms

series17.0ms

simplify76.0ms

prune223.0ms

localize13.0ms

rewrite7.0ms

series136.0ms

simplify46.0ms

prune77.0ms

regimes133.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample2.6s

Profiling