Details

analyze540.0ms (8.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	50%	0%	4
50%	50%	0%	5
50%	50%	0%	6
50%	50%	0%	7
50%	50%	0%	8
50%	50%	0%	9
50%	50%	0%	10
50%	50%	0%	11
50%	49.9%	0%	12
99.6%	0.3%	0%	13
99.9%	0%	0%	14

Compiler

Compiled 52 to 45 computations (13.5% saved)

sample43.0ms (0.7%)

Algorithm

1×

intervals

Results

30.0ms

256×

body

128

valid

Compiler

Compiled 103 to 90 computations (12.6% saved)

simplify154.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5107	46

prune7.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Compiler

Compiled 62 to 56 computations (9.7% saved)

localize12.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.0b	(*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4))
0.0b	(+.f64 (/.f64 2 (+.f64 1 t)) -4)
0.0b	(+.f64 (/.f64 2 (+.f64 1 t)) -4)
0.0b	(/.f64 (+.f64 (.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4)) 5) (+.f64 (.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4)) 6))
0.0b	(+.f64 (/.f64 2 (+.f64 1 t)) -4)
0.0b	(/.f64 (+.f64 (.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4)) 5) (+.f64 (.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4)) 6))
0.0b	(*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4))
0.0b	(*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4))

rewrite113.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Rules

48×	`*-un-lft-identity_binary64_404`
40×	`add-sqr-sqrt_binary64_426`
36×	`associate-l_binary64_345`
35×	`times-frac_binary64_410`
30×	`add-cube-cbrt_binary64_439`
16×	`add-cbrt-cube_binary64_440` `add-exp-log_binary64_442`
9×	`flip3-+_binary64_407` `flip-+_binary64_378` `distribute-lft-out_binary64_355`
8×	`pow1_binary64_465` `associate-r_binary64_344`
6×	`associate-/r/_binary64_350` `add-log-exp_binary64_443`
4×	`associate-*r/_binary64_346` `unswap-sqr_binary64_372` `frac-times_binary64_414` `prod-exp_binary64_453` `cbrt-unprod_binary64_437`
3×	`div-exp_binary64_455` `div-inv_binary64_401` `associate-/r_binary64_348` `cbrt-undiv_binary64_438` `associate-/l_binary64_349`
2×	`associate-/l/_binary64_351` `associate-l/_binary64_347` `pow-prod-down_binary64_475` `-commutative_binary64_335` `distribute-lft-in_binary64_353` `distribute-rgt-in_binary64_354`
1×	`frac-2neg_binary64_415` `sum-log_binary64_495` `clear-num_binary64_403` `+-commutative_binary64_334`

Counts

4 → 131

Calls

8 calls:

39.0ms	(/.f64 (+.f64 (.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4)) 5) (+.f64 (.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4)) 6))
21.0ms	(*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4))
21.0ms	(*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4))
15.0ms	(+.f64 (/.f64 2 (+.f64 1 t)) -4)
0.0ms	(/.f64 (+.f64 (.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4)) 5) (+.f64 (.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4)) 6))

series200.0ms (3.1%)

Counts

4 → 47

Calls

4 calls:

59.0ms	(/.f64 (+.f64 (.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4)) 5) (+.f64 (.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4)) 6))
53.0ms	(*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4))
50.0ms	(*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4))
38.0ms	(+.f64 (/.f64 2 (+.f64 1 t)) -4)

Compiler

Compiled 1315 to 1191 computations (9.4% saved)

simplify65.0ms (1%)

Algorithm

1×	egg-herbie

Counts

178 → 178

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	4971	4443
1	4971	4443

prune465.0ms (7.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	176	2	178
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	176	3	179

Error

Counts

179 → 3

Compiler

Compiled 6541 to 5613 computations (14.2% saved)

localize10.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.0b	(/.f64 (+.f64 -8 (/.f64 4 (+.f64 1 t))) (+.f64 1 t))
0.0b	(+.f64 -8 (/.f64 4 (+.f64 1 t)))
0.0b	(+.f64 -8 (/.f64 4 (+.f64 1 t)))
0.0b	(/.f64 (-.f64 -5 (/.f64 (+.f64 -8 (/.f64 4 (+.f64 1 t))) (+.f64 1 t))) (-.f64 -6 (/.f64 (+.f64 -8 (/.f64 4 (+.f64 1 t))) (+.f64 1 t))))
0.0b	(+.f64 -8 (/.f64 4 (+.f64 1 t)))
0.0b	(/.f64 (-.f64 -5 (/.f64 (+.f64 -8 (/.f64 4 (+.f64 1 t))) (+.f64 1 t))) (-.f64 -6 (/.f64 (+.f64 -8 (/.f64 4 (+.f64 1 t))) (+.f64 1 t))))
0.0b	(/.f64 (+.f64 -8 (/.f64 4 (+.f64 1 t))) (+.f64 1 t))
0.0b	(/.f64 (+.f64 -8 (/.f64 4 (+.f64 1 t))) (+.f64 1 t))

rewrite107.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Rules

108×	`*-un-lft-identity_binary64_404` `add-sqr-sqrt_binary64_426`
82×	`times-frac_binary64_410`
38×	`add-cube-cbrt_binary64_439`
28×	`difference-of-squares_binary64_373`
21×	`distribute-lft-out_binary64_355`
14×	`associate-/r_binary64_348` `distribute-lft-out--_binary64_356` `associate-/l_binary64_349`
10×	`add-cbrt-cube_binary64_440` `add-exp-log_binary64_442`
6×	`associate-/l/_binary64_351` `associate-/r/_binary64_350` `add-log-exp_binary64_443`
5×	`flip3-+_binary64_407` `flip-+_binary64_378`
4×	`pow1_binary64_465`
3×	`div-exp_binary64_455` `frac-2neg_binary64_415` `div-inv_binary64_401` `clear-num_binary64_403` `cbrt-undiv_binary64_438`
2×	`flip3--_binary64_408` `flip--_binary64_379`
1×	`sum-log_binary64_495` `div-sub_binary64_409` `+-commutative_binary64_334`

Counts

4 → 157

Calls

8 calls:

48.0ms	(/.f64 (-.f64 -5 (/.f64 (+.f64 -8 (/.f64 4 (+.f64 1 t))) (+.f64 1 t))) (-.f64 -6 (/.f64 (+.f64 -8 (/.f64 4 (+.f64 1 t))) (+.f64 1 t))))
15.0ms	(/.f64 (+.f64 -8 (/.f64 4 (+.f64 1 t))) (+.f64 1 t))
14.0ms	(/.f64 (+.f64 -8 (/.f64 4 (+.f64 1 t))) (+.f64 1 t))
9.0ms	(+.f64 -8 (/.f64 4 (+.f64 1 t)))
0.0ms	(/.f64 (-.f64 -5 (/.f64 (+.f64 -8 (/.f64 4 (+.f64 1 t))) (+.f64 1 t))) (-.f64 -6 (/.f64 (+.f64 -8 (/.f64 4 (+.f64 1 t))) (+.f64 1 t))))

series191.0ms (3%)

Counts

4 → 47

Calls

4 calls:

60.0ms	(/.f64 (-.f64 -5 (/.f64 (+.f64 -8 (/.f64 4 (+.f64 1 t))) (+.f64 1 t))) (-.f64 -6 (/.f64 (+.f64 -8 (/.f64 4 (+.f64 1 t))) (+.f64 1 t))))
52.0ms	(/.f64 (+.f64 -8 (/.f64 4 (+.f64 1 t))) (+.f64 1 t))
45.0ms	(/.f64 (+.f64 -8 (/.f64 4 (+.f64 1 t))) (+.f64 1 t))
34.0ms	(+.f64 -8 (/.f64 4 (+.f64 1 t)))

Compiler

Compiled 1219 to 1095 computations (10.2% saved)

simplify119.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

204 → 204

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4884	7073
1	4884	7073

prune566.0ms (8.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	204	0	204
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	204	3	207

Error

Counts

207 → 3

Compiler

Compiled 7610 to 6479 computations (14.9% saved)

localize11.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.0b	(/.f64 (+.f64 -8 (/.f64 4 (+.f64 1 t))) (+.f64 1 t))
0.0b	(/.f64 1 (/.f64 (+.f64 (/.f64 (+.f64 -8 (/.f64 4 (+.f64 1 t))) (+.f64 1 t)) 6) (+.f64 (/.f64 (+.f64 -8 (/.f64 4 (+.f64 1 t))) (+.f64 1 t)) 5)))
0.0b	(+.f64 -8 (/.f64 4 (+.f64 1 t)))
0.0b	(+.f64 -8 (/.f64 4 (+.f64 1 t)))
0.0b	(+.f64 -8 (/.f64 4 (+.f64 1 t)))
0.0b	(/.f64 (+.f64 -8 (/.f64 4 (+.f64 1 t))) (+.f64 1 t))
0.0b	(/.f64 (+.f64 -8 (/.f64 4 (+.f64 1 t))) (+.f64 1 t))
0.0b	(/.f64 1 (/.f64 (+.f64 (/.f64 (+.f64 -8 (/.f64 4 (+.f64 1 t))) (+.f64 1 t)) 6) (+.f64 (/.f64 (+.f64 -8 (/.f64 4 (+.f64 1 t))) (+.f64 1 t)) 5)))

rewrite121.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Rules

189×	`*-un-lft-identity_binary64_404`
162×	`times-frac_binary64_410`
83×	`add-cube-cbrt_binary64_439` `add-sqr-sqrt_binary64_426`
53×	`distribute-lft-out_binary64_355`
30×	`associate-/r*_binary64_348`
19×	`add-exp-log_binary64_442`
13×	`add-cbrt-cube_binary64_440` `associate-/r/_binary64_350`
11×	`associate-/l*_binary64_349`
9×	`div-exp_binary64_455` `flip3-+_binary64_407` `flip-+_binary64_378`
7×	`div-inv_binary64_401`
6×	`add-log-exp_binary64_443`
5×	`pow1_binary64_465` `cbrt-undiv_binary64_438`
4×	`associate-/l/_binary64_351`
3×	`frac-2neg_binary64_415` `clear-num_binary64_403`
2×	`1-exp_binary64_448` `rec-exp_binary64_454`
1×	`pow-flip_binary64_478` `sum-log_binary64_495` `inv-pow_binary64_489` `+-commutative_binary64_334`

Counts

4 → 204

Calls

8 calls:

51.0ms	(/.f64 1 (/.f64 (+.f64 (/.f64 (+.f64 -8 (/.f64 4 (+.f64 1 t))) (+.f64 1 t)) 6) (+.f64 (/.f64 (+.f64 -8 (/.f64 4 (+.f64 1 t))) (+.f64 1 t)) 5)))
15.0ms	(/.f64 (+.f64 -8 (/.f64 4 (+.f64 1 t))) (+.f64 1 t))
15.0ms	(/.f64 (+.f64 -8 (/.f64 4 (+.f64 1 t))) (+.f64 1 t))
10.0ms	(+.f64 -8 (/.f64 4 (+.f64 1 t)))
0.0ms	(+.f64 -8 (/.f64 4 (+.f64 1 t)))

series195.0ms (3%)

Counts

4 → 47

Calls

4 calls:

65.0ms	(/.f64 1 (/.f64 (+.f64 (/.f64 (+.f64 -8 (/.f64 4 (+.f64 1 t))) (+.f64 1 t)) 6) (+.f64 (/.f64 (+.f64 -8 (/.f64 4 (+.f64 1 t))) (+.f64 1 t)) 5)))
48.0ms	(/.f64 (+.f64 -8 (/.f64 4 (+.f64 1 t))) (+.f64 1 t))
46.0ms	(/.f64 (+.f64 -8 (/.f64 4 (+.f64 1 t))) (+.f64 1 t))
35.0ms	(+.f64 -8 (/.f64 4 (+.f64 1 t)))

Compiler

Compiled 1291 to 1167 computations (9.6% saved)

simplify151.0ms (2.3%)

Algorithm

1×	egg-herbie

Counts

251 → 251

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	4907	9869
1	4907	9869

prune764.0ms (11.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	251	0	251
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	251	3	254

Error

Counts

254 → 3

Compiler

Compiled 10169 to 8739 computations (14.1% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	172	593
1	172	593

regimes166.0ms (2.6%)

Accuracy

Total 0.0b remaining (96.6%)

Threshold costs 0.0b (96.6%)

Compiler

Compiled 2055 to 1851 computations (9.9% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	40	76
1	40	76

end0.0ms (0%)

sample2.5s (38%)

Algorithm

1×

intervals

Results

1.1s

8000×

body

128

valid

Compiler

Compiled 1171 to 1057 computations (9.7% saved)

Pareto

0.908889897416777

Details

analyze540.0ms (8.3%)

sample43.0ms (0.7%)

simplify154.0ms (2.4%)

prune7.0ms (0.1%)

localize12.0ms (0.2%)

rewrite113.0ms (1.7%)

series200.0ms (3.1%)

simplify65.0ms (1%)

prune465.0ms (7.2%)

localize10.0ms (0.2%)

rewrite107.0ms (1.6%)

series191.0ms (3%)

simplify119.0ms (1.8%)

prune566.0ms (8.8%)

localize11.0ms (0.2%)

rewrite121.0ms (1.9%)

series195.0ms (3%)

simplify151.0ms (2.3%)

prune764.0ms (11.8%)

simplify9.0ms (0.1%)

regimes166.0ms (2.6%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample2.5s (38%)

Profiling