Details

analyze6.0ms (0.1%)

Algorithm

1×

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

Compiler

Compiled 36 to 29 computations (19.4% saved)

sample29.0ms (0.7%)

Algorithm

1×

intervals

Results

19.0ms

256×

body

128

valid

Compiler

Compiled 71 to 58 computations (18.3% saved)

simplify225.0ms (5.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (131.0ms)

Iter	Nodes	Cost
0	4918	40
1	4918	40

prune10.0ms (0.2%)

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 54 to 44 computations (18.5% saved)

localize11.0ms (0.3%)

Local error

Found 8 expressions with local error:

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

rewrite80.0ms (2%)

Algorithm

1×	rewrite-expression-head

Rules

146×	`*-un-lft-identity_binary64_760`
74×	`times-frac_binary64_766`
70×	`distribute-lft-out_binary64_711`
58×	`add-sqr-sqrt_binary64_782`
48×	`add-cube-cbrt_binary64_795` `associate-r_binary64_700`
18×	`add-exp-log_binary64_798` `div-inv_binary64_757` `add-cbrt-cube_binary64_796`
12×	`associate-/r*_binary64_704`
8×	`associate-/r/_binary64_706` `pow1_binary64_821`
6×	`associate-/l_binary64_705` `associate-l*_binary64_701`
4×	`unswap-sqr_binary64_728` `cbrt-undiv_binary64_794` `prod-exp_binary64_809` `flip3-+_binary64_763` `add-log-exp_binary64_799` `flip-+_binary64_734` `cbrt-unprod_binary64_793` `div-exp_binary64_811`
2×	`frac-2neg_binary64_771` `associate-r/_binary64_702` `clear-num_binary64_759` `pow-prod-down_binary64_831` `-commutative_binary64_691`

Counts

4 → 168

Calls

8 calls:

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

series165.0ms (4.2%)

Counts

4 → 40

Calls

4 calls:

44.0ms	(*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))
42.0ms	(*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))
40.0ms	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))
39.0ms	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))

Compiler

Compiled 1472 to 1248 computations (15.2% saved)

simplify123.0ms (3.1%)

Algorithm

1×	egg-herbie

Counts

208 → 208

Iterations

Useful iterations: 0 (85.0ms)

Iter	Nodes	Cost
0	4889	3414
1	4889	3414

prune435.0ms (10.9%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	207	1	208
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	208	1	209

Error

0.0b

Counts

209 → 1

Compiler

Compiled 6833 to 5367 computations (21.5% saved)

localize14.0ms (0.3%)

Local error

Found 8 expressions with local error:

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

rewrite68.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Rules

108×	`*-un-lft-identity_binary64_760`
56×	`times-frac_binary64_766`
50×	`distribute-lft-out_binary64_711`
48×	`associate-r_binary64_700` `add-sqr-sqrt_binary64_782`
38×	`add-cube-cbrt_binary64_795`
16×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
13×	`div-inv_binary64_757`
9×	`pow1_binary64_821`
6×	`associate-/r/_binary64_706` `associate-/r_binary64_704` `associate-l*_binary64_701`
5×	`add-log-exp_binary64_799`
4×	`unswap-sqr_binary64_728` `prod-exp_binary64_809` `cbrt-unprod_binary64_793`
3×	`cbrt-undiv_binary64_794` `flip3-+_binary64_763` `flip-+_binary64_734` `associate-/l*_binary64_705` `log-pow_binary64_849` `div-exp_binary64_811` `log-prod_binary64_846`
2×	`associate-r/_binary64_702` `pow-prod-down_binary64_831` `-commutative_binary64_691`
1×	`frac-2neg_binary64_771` `exp-prod_binary64_812` `exp-to-pow_binary64_822` `rem-log-exp_binary64_801` `clear-num_binary64_759`

Counts

4 → 141

Calls

8 calls:

17.0ms	(*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))
17.0ms	(*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))
11.0ms	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))
2.0ms	(log.f64 (exp.f64 (*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))))
0.0ms	(+.f64 t (/.f64 1 t))

series194.0ms (4.9%)

Counts

4 → 40

Calls

4 calls:

63.0ms	(log.f64 (exp.f64 (*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))))
45.0ms	(*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))
44.0ms	(*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))
42.0ms	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))

Compiler

Compiled 1504 to 1300 computations (13.6% saved)

simplify99.0ms (2.5%)

Algorithm

1×	egg-herbie

Counts

181 → 181

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4895	2903
1	4895	2903

prune384.0ms (9.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

Counts

182 → 2

Compiler

Compiled 6212 to 4938 computations (20.5% saved)

localize20.0ms (0.5%)

Local error

Found 8 expressions with local error:

0.0b	(cbrt.f64 (pow.f64 (exp.f64 t) (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))))
0.0b	(+.f64 t (/.f64 1 t))
0.0b	(+.f64 t (/.f64 1 t))
0.0b	(+.f64 t (/.f64 1 t))
0.2b	(pow.f64 (exp.f64 t) (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))
0.2b	(pow.f64 (exp.f64 t) (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))
0.9b	(log.f64 (cbrt.f64 (pow.f64 (exp.f64 t) (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))))
0.9b	(log.f64 (cbrt.f64 (pow.f64 (exp.f64 t) (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))))

rewrite57.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Rules

76×	`*-un-lft-identity_binary64_760`
48×	`pow-unpow_binary64_837`
36×	`times-frac_binary64_766`
34×	`add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782`
30×	`distribute-lft-out_binary64_711`
20×	`log-prod_binary64_846`
14×	`cbrt-prod_binary64_791`
12×	`unpow-prod-down_binary64_839`
8×	`div-inv_binary64_757` `pow1_binary64_821` `pow-pow_binary64_832`
6×	`exp-prod_binary64_812` `add-exp-log_binary64_798`
4×	`associate-/r/_binary64_706` `add-log-exp_binary64_799` `add-cbrt-cube_binary64_796` `log-pow_binary64_849` `sqr-pow_binary64_732`
2×	`pow1/3_binary64_842` `flip3-+_binary64_763` `pow-exp_binary64_828` `flip-+_binary64_734` `pow-to-exp_binary64_829` `rem-log-exp_binary64_801`

Counts

4 → 122

Calls

8 calls:

14.0ms	(pow.f64 (exp.f64 t) (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))
14.0ms	(pow.f64 (exp.f64 t) (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))
6.0ms	(log.f64 (cbrt.f64 (pow.f64 (exp.f64 t) (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))))
4.0ms	(log.f64 (cbrt.f64 (pow.f64 (exp.f64 t) (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))))
0.0ms	(+.f64 t (/.f64 1 t))

series243.0ms (6.1%)

Counts

4 → 24

Calls

4 calls:

88.0ms	(log.f64 (cbrt.f64 (pow.f64 (exp.f64 t) (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))))
84.0ms	(log.f64 (cbrt.f64 (pow.f64 (exp.f64 t) (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))))
37.0ms	(pow.f64 (exp.f64 t) (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))
34.0ms	(pow.f64 (exp.f64 t) (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))

Compiler

Compiled 1416 to 1172 computations (17.2% saved)

simplify124.0ms (3.1%)

Algorithm

1×	egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 0 (89.0ms)

Iter	Nodes	Cost
0	4890	3076
1	4890	3076

prune504.0ms (12.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

148 → 2

Compiler

Compiled 7780 to 5997 computations (22.9% saved)

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	110	505
1	110	505

regimes32.0ms (0.8%)

Compiler: Compiled 340 to 282 computations (17.1% saved)

bsearch0.0ms (0%)

regimes14.0ms (0.4%)

Accuracy

Total 0.0b remaining (40.9%)

Threshold costs 0.0b (40.9%)

Compiler

Compiled 137 to 112 computations (18.2% saved)

bsearch5.0ms (0.1%)

Compiler: Compiled 122 to 100 computations (18% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	40	187
1	40	187

end0.0ms (0%)

sample1.1s (28.3%)

Algorithm

1×

intervals

Results

603.0ms

8000×

body

128

valid

Compiler

Compiled 496 to 410 computations (17.3% saved)

Pareto

-0.6485703610058262

Details

analyze6.0ms (0.1%)

sample29.0ms (0.7%)

simplify225.0ms (5.7%)

prune10.0ms (0.2%)

localize11.0ms (0.3%)

rewrite80.0ms (2%)

series165.0ms (4.2%)

simplify123.0ms (3.1%)

prune435.0ms (10.9%)

localize14.0ms (0.3%)

rewrite68.0ms (1.7%)

series194.0ms (4.9%)

simplify99.0ms (2.5%)

prune384.0ms (9.6%)

localize20.0ms (0.5%)

rewrite57.0ms (1.4%)

series243.0ms (6.1%)

simplify124.0ms (3.1%)

prune504.0ms (12.7%)

simplify8.0ms (0.2%)

regimes32.0ms (0.8%)

bsearch0.0ms (0%)

regimes14.0ms (0.4%)

bsearch5.0ms (0.1%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.1s (28.3%)

Profiling