Details

analyze926.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	75%	25%	3
0%	62.5%	37.5%	4
0%	56.2%	43.8%	5
3.1%	46.9%	50%	6
3.1%	45.3%	51.6%	7
3.1%	44.5%	52.4%	8
3.5%	44.1%	52.4%	9
3.7%	43.9%	52.4%	10
3.8%	43.8%	52.4%	11
3.8%	43.8%	52.4%	12
3.8%	43.8%	52.4%	13
3.8%	43.7%	52.4%	14

sample256.0ms

Algorithm

intervals

Results

74.0ms	105×	body	1280	valid
58.0ms	93×	body	1280	nan
39.0ms	75×	body	640	valid
33.0ms	72×	body	640	nan
15.0ms	34×	body	320	valid
11.0ms	32×	body	320	nan
8.0ms	30×	body	160	valid
3.0ms	12×	body	160	nan
2.0ms	12×	body	80	valid

simplify468.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4933	32
1	4933	32

prune9.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 60.3b

Counts

2 → 1

localize17.0ms

Local error

Found 4 expressions with local error:

0.3b	(*.f64 (/.f64 PI.f64 4) f)
0.3b	(*.f64 (/.f64 PI.f64 4) f)
0.8b	(/.f64 (+.f64 (exp.f64 (.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (.f64 (/.f64 PI.f64 4) f)))) (-.f64 (exp.f64 (.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (.f64 (/.f64 PI.f64 4) f)))))
7.5b	(-.f64 (exp.f64 (.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (.f64 (/.f64 PI.f64 4) f))))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

61×	`*-un-lft-identity_binary64`
57×	`add-sqr-sqrt_binary64`
50×	`times-frac_binary64`
33×	`add-cube-cbrt_binary64`
26×	`associate-l_binary64`
16×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`pow1_binary64`
7×	`distribute-lft-out_binary64` `sinh-undef_binary64` `cosh-undef_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64`
6×	`associate-/r_binary64` `add-log-exp_binary64` `associate-r*_binary64`
5×	`associate-/l*_binary64`
4×	`cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64`
3×	`cbrt-undiv_binary64` `div-inv_binary64` `div-exp_binary64`
2×	`pow-prod-down_binary64` `associate-/l/_binary64` `flip3--_binary64` `associate-/r/_binary64` `flip--_binary64` `associate-l/_binary64` `-commutative_binary64`
1×	`flip3-+_binary64` `sub-neg_binary64` `diff-log_binary64` `clear-num_binary64` `frac-2neg_binary64` `flip-+_binary64`

Counts

4 → 135

Calls

4 calls:

7.0ms	(*.f64 (/.f64 PI.f64 4) f)
7.0ms	(*.f64 (/.f64 PI.f64 4) f)
12.0ms	(/.f64 (+.f64 (exp.f64 (.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (.f64 (/.f64 PI.f64 4) f)))) (-.f64 (exp.f64 (.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (.f64 (/.f64 PI.f64 4) f)))))
8.0ms	(-.f64 (exp.f64 (.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (.f64 (/.f64 PI.f64 4) f))))

series62.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(*.f64 (/.f64 PI.f64 4) f)
4.0ms	(*.f64 (/.f64 PI.f64 4) f)
35.0ms	(/.f64 (+.f64 (exp.f64 (.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (.f64 (/.f64 PI.f64 4) f)))) (-.f64 (exp.f64 (.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (.f64 (/.f64 PI.f64 4) f)))))
20.0ms	(-.f64 (exp.f64 (.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (.f64 (/.f64 PI.f64 4) f))))

simplify67.0ms

Algorithm

egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4848	3021
1	4848	3021

prune210.0ms

Filtered

106 candidates to 147 candidates (-38.7%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	145	2	147
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	146	2	148

Merged error: 1.8b

Counts

148 → 2

localize12.0ms

Local error

Found 4 expressions with local error:

0.3b	(*.f64 (/.f64 PI.f64 4) f)
0.3b	(*.f64 (/.f64 PI.f64 4) f)
0.4b	(.f64 (/.f64 1 (/.f64 PI.f64 4)) (log.f64 (/.f64 (cosh.f64 (.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (*.f64 (/.f64 PI.f64 4) f)))))
1.0b	(/.f64 (cosh.f64 (.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (.f64 (/.f64 PI.f64 4) f)))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

119×	`times-frac_binary64`
102×	`add-sqr-sqrt_binary64`
80×	`*-un-lft-identity_binary64`
78×	`add-cube-cbrt_binary64`
70×	`associate-l_binary64`
35×	`add-exp-log_binary64`
28×	`log-prod_binary64`
25×	`add-cbrt-cube_binary64`
14×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64`
11×	`pow1_binary64` `prod-exp_binary64`
10×	`associate-r_binary64` `div-exp_binary64`
9×	`unswap-sqr_binary64` `div-inv_binary64`
7×	`cbrt-unprod_binary64`
6×	`cbrt-undiv_binary64`
4×	`add-log-exp_binary64` `associate-/r/_binary64`
3×	`pow-prod-down_binary64` `associate-/r_binary64` `sinh-def_binary64` `associate-/l_binary64` `associate-l/_binary64` `-commutative_binary64`
2×	`1-exp_binary64` `rec-exp_binary64`
1×	`associate-/l/_binary64` `log-pow_binary64` `clear-num_binary64` `frac-2neg_binary64` `cosh-def_binary64`

Counts

4 → 194

Calls

4 calls:

7.0ms	(*.f64 (/.f64 PI.f64 4) f)
7.0ms	(*.f64 (/.f64 PI.f64 4) f)
20.0ms	(.f64 (/.f64 1 (/.f64 PI.f64 4)) (log.f64 (/.f64 (cosh.f64 (.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (*.f64 (/.f64 PI.f64 4) f)))))
5.0ms	(/.f64 (cosh.f64 (.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (.f64 (/.f64 PI.f64 4) f)))

series116.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(*.f64 (/.f64 PI.f64 4) f)
4.0ms	(*.f64 (/.f64 PI.f64 4) f)
71.0ms	(.f64 (/.f64 1 (/.f64 PI.f64 4)) (log.f64 (/.f64 (cosh.f64 (.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (*.f64 (/.f64 PI.f64 4) f)))))
37.0ms	(/.f64 (cosh.f64 (.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (.f64 (/.f64 PI.f64 4) f)))

simplify62.0ms

Algorithm

egg-herbie

Counts

206 → 206

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5389	3693

prune208.0ms

Filtered

149 candidates to 206 candidates (-38.3%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	196	10	206
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	198	10	208

Merged error: 1.3b

Counts

208 → 10

localize10.0ms

Local error

Found 4 expressions with local error:

0.3b	(*.f64 (/.f64 PI.f64 4) f)
0.3b	(*.f64 (/.f64 PI.f64 4) f)
0.3b	(/.f64 (log.f64 (/.f64 (cosh.f64 (.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (.f64 (/.f64 PI.f64 4) f)))) (/.f64 PI.f64 4))
1.0b	(/.f64 (cosh.f64 (.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (.f64 (/.f64 PI.f64 4) f)))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

126×	`times-frac_binary64`
87×	`add-sqr-sqrt_binary64`
77×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
26×	`associate-l_binary64`
22×	`pow1_binary64`
21×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
16×	`associate-/r*_binary64`
14×	`log-pow_binary64`
9×	`div-inv_binary64`
7×	`associate-/l*_binary64`
6×	`associate-r_binary64` `cbrt-undiv_binary64` `div-exp_binary64`
4×	`add-log-exp_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64`
2×	`pow-prod-down_binary64` `associate-/r/_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-l/_binary64` `-commutative_binary64`
1×	`associate-/l/_binary64` `sinh-def_binary64` `div-sub_binary64` `log-div_binary64` `cosh-def_binary64`

Counts

4 → 178

Calls

4 calls:

7.0ms	(*.f64 (/.f64 PI.f64 4) f)
9.0ms	(*.f64 (/.f64 PI.f64 4) f)
9.0ms	(/.f64 (log.f64 (/.f64 (cosh.f64 (.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (.f64 (/.f64 PI.f64 4) f)))) (/.f64 PI.f64 4))
5.0ms	(/.f64 (cosh.f64 (.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (.f64 (/.f64 PI.f64 4) f)))

series109.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(*.f64 (/.f64 PI.f64 4) f)
4.0ms	(*.f64 (/.f64 PI.f64 4) f)
67.0ms	(/.f64 (log.f64 (/.f64 (cosh.f64 (.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (.f64 (/.f64 PI.f64 4) f)))) (/.f64 PI.f64 4))
34.0ms	(/.f64 (cosh.f64 (.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (.f64 (/.f64 PI.f64 4) f)))

simplify71.0ms

Algorithm

egg-herbie

Counts

190 → 190

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4960	3668
1	4960	3668

prune195.0ms

Filtered

137 candidates to 190 candidates (-38.7%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	186	4	190
Fresh	3	6	9
Picked	1	0	1
Done	0	0	0
Total	190	10	200

Merged error: 1.3b

Counts

200 → 10

localize17.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (sinh.f64 (*.f64 (/.f64 PI.f64 4) f)))
0.8b	(/.f64 (cosh.f64 (.f64 (/.f64 PI.f64 4) f)) (.f64 (cbrt.f64 (sinh.f64 (.f64 (/.f64 PI.f64 4) f))) (cbrt.f64 (sinh.f64 (.f64 (/.f64 PI.f64 4) f)))))
1.1b	(/.f64 (/.f64 (cosh.f64 (.f64 (/.f64 PI.f64 4) f)) (.f64 (cbrt.f64 (sinh.f64 (.f64 (/.f64 PI.f64 4) f))) (cbrt.f64 (sinh.f64 (.f64 (/.f64 PI.f64 4) f))))) (cbrt.f64 (sinh.f64 (*.f64 (/.f64 PI.f64 4) f))))
1.1b	(log.f64 (/.f64 (/.f64 (cosh.f64 (.f64 (/.f64 PI.f64 4) f)) (.f64 (cbrt.f64 (sinh.f64 (.f64 (/.f64 PI.f64 4) f))) (cbrt.f64 (sinh.f64 (.f64 (/.f64 PI.f64 4) f))))) (cbrt.f64 (sinh.f64 (*.f64 (/.f64 PI.f64 4) f)))))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

162×	`times-frac_binary64`
76×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
66×	`cbrt-prod_binary64`
65×	`log-prod_binary64`
59×	`cbrt-div_binary64` `sinh-def_binary64`
44×	`associate-/r/_binary64`
28×	`add-exp-log_binary64`
16×	`div-inv_binary64`
14×	`associate-r/_binary64` `frac-times_binary64` `associate-l/_binary64`
13×	`associate-/l*_binary64`
12×	`div-exp_binary64`
11×	`add-cbrt-cube_binary64`
7×	`associate-/r*_binary64` `cbrt-undiv_binary64`
5×	`pow1_binary64`
4×	`add-log-exp_binary64` `rem-log-exp_binary64`
3×	`prod-exp_binary64`
2×	`associate-/l/_binary64` `cbrt-unprod_binary64` `clear-num_binary64` `frac-2neg_binary64`
1×	`pow1/3_binary64` `log-pow_binary64` `log-div_binary64` `cosh-def_binary64`

Counts

4 → 209

Calls

4 calls:

2.0ms	(cbrt.f64 (sinh.f64 (*.f64 (/.f64 PI.f64 4) f)))
9.0ms	(/.f64 (cosh.f64 (.f64 (/.f64 PI.f64 4) f)) (.f64 (cbrt.f64 (sinh.f64 (.f64 (/.f64 PI.f64 4) f))) (cbrt.f64 (sinh.f64 (.f64 (/.f64 PI.f64 4) f)))))
14.0ms	(/.f64 (/.f64 (cosh.f64 (.f64 (/.f64 PI.f64 4) f)) (.f64 (cbrt.f64 (sinh.f64 (.f64 (/.f64 PI.f64 4) f))) (cbrt.f64 (sinh.f64 (.f64 (/.f64 PI.f64 4) f))))) (cbrt.f64 (sinh.f64 (*.f64 (/.f64 PI.f64 4) f))))
14.0ms	(log.f64 (/.f64 (/.f64 (cosh.f64 (.f64 (/.f64 PI.f64 4) f)) (.f64 (cbrt.f64 (sinh.f64 (.f64 (/.f64 PI.f64 4) f))) (cbrt.f64 (sinh.f64 (.f64 (/.f64 PI.f64 4) f))))) (cbrt.f64 (sinh.f64 (*.f64 (/.f64 PI.f64 4) f)))))

series217.0ms

Counts

4 → 12

Calls

4 calls:

39.0ms	(cbrt.f64 (sinh.f64 (*.f64 (/.f64 PI.f64 4) f)))
84.0ms	(/.f64 (cosh.f64 (.f64 (/.f64 PI.f64 4) f)) (.f64 (cbrt.f64 (sinh.f64 (.f64 (/.f64 PI.f64 4) f))) (cbrt.f64 (sinh.f64 (.f64 (/.f64 PI.f64 4) f)))))
35.0ms	(/.f64 (/.f64 (cosh.f64 (.f64 (/.f64 PI.f64 4) f)) (.f64 (cbrt.f64 (sinh.f64 (.f64 (/.f64 PI.f64 4) f))) (cbrt.f64 (sinh.f64 (.f64 (/.f64 PI.f64 4) f))))) (cbrt.f64 (sinh.f64 (*.f64 (/.f64 PI.f64 4) f))))
59.0ms	(log.f64 (/.f64 (/.f64 (cosh.f64 (.f64 (/.f64 PI.f64 4) f)) (.f64 (cbrt.f64 (sinh.f64 (.f64 (/.f64 PI.f64 4) f))) (cbrt.f64 (sinh.f64 (.f64 (/.f64 PI.f64 4) f))))) (cbrt.f64 (sinh.f64 (*.f64 (/.f64 PI.f64 4) f)))))

simplify80.0ms

Algorithm

egg-herbie

Counts

221 → 221

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	4949	7915
1	4949	7915

prune490.0ms

Filtered

186 candidates to 221 candidates (-18.8%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	220	1	221
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	220	11	231

Merged error: 1.3b

Counts

231 → 11

regimes84.0ms

Accuracy

0% (0.4b remaining)

Error of 1.9b against oracle of 1.5b and baseline of 1.9b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	29	36
1	29	36

end0.0ms

sample7.7s

Algorithm

intervals

Results

2.3s	3412×	body	1280	valid
1.8s	2885×	body	1280	nan
1.2s	2431×	body	640	valid
1.1s	2410×	body	640	nan
451.0ms	1237×	body	320	valid
374.0ms	1114×	body	320	nan
168.0ms	657×	body	160	valid
45.0ms	199×	body	160	nan
35.0ms	263×	body	80	valid
0.0ms	1×	body	80	overflowed

Details

analyze926.0ms

sample256.0ms

simplify468.0ms

prune9.0ms

localize17.0ms

rewrite40.0ms

series62.0ms

simplify67.0ms

prune210.0ms

localize12.0ms

rewrite49.0ms

series116.0ms

simplify62.0ms

prune208.0ms

localize10.0ms

rewrite37.0ms

series109.0ms

simplify71.0ms

prune195.0ms

localize17.0ms

rewrite50.0ms

series217.0ms

simplify80.0ms

prune490.0ms

regimes84.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample7.7s

Profiling