Details

analyze5.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
25%	75%	0%	3
50%	50%	0%	4
93.7%	6.2%	0%	5
96.8%	3.1%	0%	6
98.4%	1.6%	0%	7
99.2%	0.8%	0%	8
99.6%	0.4%	0%	9
99.8%	0.2%	0%	10
99.9%	0.1%	0%	11
99.9%	0%	0%	12
99.9%	0%	0%	13
99.9%	0%	0%	14

sample24.0ms

Algorithm

intervals

Results

19.0ms

256×

body

valid

simplify134.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (132.0ms)

Iter	Nodes	Cost
0	5180	27

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

Counts

2 → 2

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(*.f64 4 (/.f64 t (+.f64 2 (+.f64 t (/.f64 1 t)))))
0.0b	(*.f64 4 (/.f64 t (+.f64 2 (+.f64 t (/.f64 1 t)))))
0.1b	(/.f64 t (+.f64 2 (+.f64 t (/.f64 1 t))))
0.1b	(/.f64 t (+.f64 2 (+.f64 t (/.f64 1 t))))

rewrite64.0ms

Algorithm

rewrite-expression-head

Rules

146×	`*-un-lft-identity_binary64`
74×	`times-frac_binary64`
70×	`distribute-lft-out_binary64`
58×	`add-sqr-sqrt_binary64`
48×	`associate-r_binary64` `add-cube-cbrt_binary64`
18×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `div-inv_binary64`
12×	`associate-/r*_binary64`
8×	`pow1_binary64` `associate-/r/_binary64`
6×	`associate-l_binary64` `associate-/l*_binary64`
4×	`flip3-+_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `cbrt-undiv_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `div-exp_binary64` `flip-+_binary64`
2×	`pow-prod-down_binary64` `associate-r/_binary64` `clear-num_binary64` `frac-2neg_binary64` `-commutative_binary64`

Counts

4 → 168

Calls

4 calls:

16.0ms	(*.f64 4 (/.f64 t (+.f64 2 (+.f64 t (/.f64 1 t)))))
16.0ms	(*.f64 4 (/.f64 t (+.f64 2 (+.f64 t (/.f64 1 t)))))
11.0ms	(/.f64 t (+.f64 2 (+.f64 t (/.f64 1 t))))
11.0ms	(/.f64 t (+.f64 2 (+.f64 t (/.f64 1 t))))

series14.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(*.f64 4 (/.f64 t (+.f64 2 (+.f64 t (/.f64 1 t)))))
4.0ms	(*.f64 4 (/.f64 t (+.f64 2 (+.f64 t (/.f64 1 t)))))
3.0ms	(/.f64 t (+.f64 2 (+.f64 t (/.f64 1 t))))
4.0ms	(/.f64 t (+.f64 2 (+.f64 t (/.f64 1 t))))

simplify43.0ms

Algorithm

egg-herbie

Counts

180 → 180

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	5005	2130

prune155.0ms

Filtered

112 candidates to 180 candidates (-60.7%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	179	1	180
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	180	2	182

Merged error: 0b

Counts

182 → 2

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (*.f64 2 t) (+.f64 1 t))
0.0b	(/.f64 (+.f64 1 (.f64 (/.f64 (.f64 2 t) (+.f64 1 t)) (/.f64 (.f64 2 t) (+.f64 1 t)))) (+.f64 2 (.f64 (/.f64 (.f64 2 t) (+.f64 1 t)) (/.f64 (.f64 2 t) (+.f64 1 t)))))
0.0b	(.f64 (/.f64 (.f64 2 t) (+.f64 1 t)) (/.f64 (*.f64 2 t) (+.f64 1 t)))
0.0b	(.f64 (/.f64 (.f64 2 t) (+.f64 1 t)) (/.f64 (*.f64 2 t) (+.f64 1 t)))

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

83×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
62×	`*-un-lft-identity_binary64`
53×	`times-frac_binary64`
34×	`add-sqr-sqrt_binary64`
31×	`cbrt-unprod_binary64` `prod-exp_binary64`
30×	`add-cube-cbrt_binary64`
27×	`cbrt-undiv_binary64` `div-exp_binary64`
24×	`swap-sqr_binary64`
20×	`associate-r_binary64` `associate-/r/_binary64` `associate-l_binary64`
18×	`pow1_binary64`
14×	`distribute-lft-out_binary64`
11×	`flip3-+_binary64` `flip-+_binary64`
10×	`div-inv_binary64`
7×	`associate-/r*_binary64`
4×	`add-log-exp_binary64` `associate-/l*_binary64`
2×	`pow-prod-down_binary64` `associate-/l/_binary64` `pow-prod-up_binary64` `associate-r/_binary64` `pow-plus_binary64` `unswap-sqr_binary64` `clear-num_binary64` `frac-2neg_binary64` `pow-sqr_binary64` `frac-times_binary64` `pow2_binary64` `associate-l/_binary64` `*-commutative_binary64`

Counts

4 → 190

Calls

4 calls:

7.0ms	(/.f64 (*.f64 2 t) (+.f64 1 t))
10.0ms	(/.f64 (+.f64 1 (.f64 (/.f64 (.f64 2 t) (+.f64 1 t)) (/.f64 (.f64 2 t) (+.f64 1 t)))) (+.f64 2 (.f64 (/.f64 (.f64 2 t) (+.f64 1 t)) (/.f64 (.f64 2 t) (+.f64 1 t)))))
19.0ms	(.f64 (/.f64 (.f64 2 t) (+.f64 1 t)) (/.f64 (*.f64 2 t) (+.f64 1 t)))
16.0ms	(.f64 (/.f64 (.f64 2 t) (+.f64 1 t)) (/.f64 (*.f64 2 t) (+.f64 1 t)))

series18.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(/.f64 (*.f64 2 t) (+.f64 1 t))
7.0ms	(/.f64 (+.f64 1 (.f64 (/.f64 (.f64 2 t) (+.f64 1 t)) (/.f64 (.f64 2 t) (+.f64 1 t)))) (+.f64 2 (.f64 (/.f64 (.f64 2 t) (+.f64 1 t)) (/.f64 (.f64 2 t) (+.f64 1 t)))))
4.0ms	(.f64 (/.f64 (.f64 2 t) (+.f64 1 t)) (/.f64 (*.f64 2 t) (+.f64 1 t)))
4.0ms	(.f64 (/.f64 (.f64 2 t) (+.f64 1 t)) (/.f64 (*.f64 2 t) (+.f64 1 t)))

simplify44.0ms

Algorithm

egg-herbie

Counts

202 → 202

Iterations

Useful iterations: 0 (22.0ms)

Iter	Nodes	Cost
0	4973	2974
1	4973	2974

prune217.0ms

Filtered

124 candidates to 202 candidates (-62.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0b

Counts

204 → 2

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(*.f64 4 (/.f64 t (+.f64 2 (+.f64 t (/.f64 1 t)))))
0.1b	(/.f64 t (+.f64 2 (+.f64 t (/.f64 1 t))))
0.1b	(/.f64 t (+.f64 2 (+.f64 t (/.f64 1 t))))
2.7b	(log.f64 (exp.f64 (/.f64 t (+.f64 2 (+.f64 t (/.f64 1 t))))))

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

146×	`*-un-lft-identity_binary64`
73×	`times-frac_binary64`
70×	`distribute-lft-out_binary64`
53×	`add-sqr-sqrt_binary64`
48×	`add-cube-cbrt_binary64`
25×	`log-pow_binary64`
24×	`associate-r_binary64` `exp-prod_binary64`
18×	`div-inv_binary64`
13×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
12×	`associate-/r*_binary64`
8×	`associate-/r/_binary64`
7×	`pow1_binary64`
6×	`associate-/l*_binary64`
4×	`flip3-+_binary64` `add-log-exp_binary64` `flip-+_binary64`
3×	`log-prod_binary64` `cbrt-undiv_binary64` `associate-l_binary64` `div-exp_binary64`
2×	`cbrt-unprod_binary64` `unswap-sqr_binary64` `clear-num_binary64` `prod-exp_binary64` `frac-2neg_binary64`
1×	`pow-prod-down_binary64` `rem-log-exp_binary64` `associate-r/_binary64` `-commutative_binary64`

Counts

4 → 161

Calls

4 calls:

16.0ms	(*.f64 4 (/.f64 t (+.f64 2 (+.f64 t (/.f64 1 t)))))
10.0ms	(/.f64 t (+.f64 2 (+.f64 t (/.f64 1 t))))
11.0ms	(/.f64 t (+.f64 2 (+.f64 t (/.f64 1 t))))
13.0ms	(log.f64 (exp.f64 (/.f64 t (+.f64 2 (+.f64 t (/.f64 1 t))))))

series14.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(*.f64 4 (/.f64 t (+.f64 2 (+.f64 t (/.f64 1 t)))))
3.0ms	(/.f64 t (+.f64 2 (+.f64 t (/.f64 1 t))))
3.0ms	(/.f64 t (+.f64 2 (+.f64 t (/.f64 1 t))))
4.0ms	(log.f64 (exp.f64 (/.f64 t (+.f64 2 (+.f64 t (/.f64 1 t))))))

simplify44.0ms

Algorithm

egg-herbie

Counts

173 → 173

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	5121	2002

prune155.0ms

Filtered

108 candidates to 173 candidates (-60.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Merged error: 0b

Counts

175 → 2

regimes67.0ms

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	15	35
1	15	35

end0.0ms

sample695.0ms

Algorithm

intervals

Results

604.0ms

8000×

body

valid

Details

analyze5.0ms

sample24.0ms

simplify134.0ms

prune11.0ms

localize10.0ms

rewrite64.0ms

series14.0ms

simplify43.0ms

prune155.0ms

localize9.0ms

rewrite61.0ms

series18.0ms

simplify44.0ms

prune217.0ms

localize17.0ms

rewrite58.0ms

series14.0ms

simplify44.0ms

prune155.0ms

regimes67.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample695.0ms

Profiling