Details

analyze341.0ms (2.3%)

Algorithm

1×

Search

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

Compiler

Compiled 30 to 24 computations (20% saved)

sample34.0ms (0.2%)

Algorithm

1×

intervals

Results

12.0ms	248×	body	128	valid
8.0ms	281×	pre	128	true
1.0ms	25×	body	128	nan
1.0ms	8×	body	256	valid

Compiler

Compiled 47 to 41 computations (12.8% saved)

simplify526.0ms (3.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (399.0ms)

Iter	Nodes	Cost
0	1834	24
1	1834	24

prune9.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

29.1b

Counts

2 → 1

Compiler

Compiled 32 to 26 computations (18.8% saved)

localize22.0ms (0.1%)

Local error

Found 8 expressions with local error:

29.0b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
0.3b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))
0.2b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
0.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
0.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
0.2b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
0.3b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))
29.0b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)

rewrite45.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`add-sqr-sqrt_binary64_782`
14×	`*-un-lft-identity_binary64_760`
9×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
8×	`add-cube-cbrt_binary64_795` `add-log-exp_binary64_799`
6×	`sqrt-prod_binary64_776` `difference-of-squares_binary64_729` `associate-/l*_binary64_705` `times-frac_binary64_766`
5×	`pow1_binary64_821`
4×	`cancel-sign-sub-inv_binary64_726` `flip--_binary64_735` `flip3--_binary64_764`
3×	`distribute-lft-out--_binary64_712`
2×	`diff-log_binary64_852` `cbrt-undiv_binary64_794` `associate-/l/_binary64_707` `sqrt-div_binary64_777` `div-exp_binary64_811` `sub-neg_binary64_753`
1×	`rem-sqrt-square_binary64_773` `frac-2neg_binary64_771` `prod-exp_binary64_809` `sqrt-pow1_binary64_778` `associate-/r*_binary64_704` `div-inv_binary64_757` `div-sub_binary64_765` `cbrt-unprod_binary64_793` `pow1/2_binary64_840` `clear-num_binary64_759`

Counts

4 → 74

Calls

8 calls:

16.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))
14.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
4.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
0.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

series735.0ms (4.9%)

Counts

4 → 72

Calls

4 calls:

241.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))
181.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
180.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
133.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 1950 to 1660 computations (14.9% saved)

simplify113.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	5207	3272

prune264.0ms (1.8%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	134	12	146
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	135	12	147

Error

0.7b

Counts

147 → 12

Compiler

Compiled 3520 to 2004 computations (43.1% saved)

localize45.0ms (0.3%)

Local error

Found 8 expressions with local error:

0.2b	(-.f64 (-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (/.f64 (.f64 a (*.f64 c c)) (pow.f64 b 3))) (/.f64 c b))
0.2b	(.f64 a (.f64 c c))
0.2b	(-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (/.f64 (.f64 a (*.f64 c c)) (pow.f64 b 3)))
0.1b	(+.f64 (-.f64 (-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))) (/.f64 c b)) (.f64 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) -5))
0.3b	(/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))
0.3b	(.f64 (.f64 a a) (pow.f64 c 3))
0.4b	(*.f64 (pow.f64 a 3) (pow.f64 c 4))
0.4b	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))

rewrite92.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

109×	`add-exp-log_binary64_798`
54×	`prod-exp_binary64_809`
42×	`add-sqr-sqrt_binary64_782`
30×	`div-exp_binary64_811`
29×	`add-cbrt-cube_binary64_796` `unpow-prod-down_binary64_839`
24×	`pow-exp_binary64_828` `pow-to-exp_binary64_829`
22×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
19×	`associate-/r_binary64_704` `associate-r*_binary64_700` `times-frac_binary64_766`
16×	`unswap-sqr_binary64_728` `cube-prod_binary64_788`
15×	`sqr-pow_binary64_732`
13×	`associate-l_binary64_701`
10×	`cbrt-unprod_binary64_793`
6×	`cbrt-undiv_binary64_794`
4×	`cube-mult_binary64_790` `unpow3_binary64_826` `add-log-exp_binary64_799` `pow1_binary64_821`
2×	`frac-2neg_binary64_771` `div-inv_binary64_757` `associate-/l_binary64_705` `clear-num_binary64_759` `-commutative_binary64_691`

Counts

4 → 178

Calls

8 calls:

15.0ms	(/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))
11.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
9.0ms	(.f64 (.f64 a a) (pow.f64 c 3))
9.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))
0.0ms	(+.f64 (-.f64 (-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))) (/.f64 c b)) (.f64 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) -5))

series825.0ms (5.5%)

Counts

4 → 30

Calls

4 calls:

331.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
240.0ms	(/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))
138.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))
115.0ms	(.f64 (.f64 a a) (pow.f64 c 3))

Compiler

Compiled 2460 to 1908 computations (22.4% saved)

simplify98.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

208 → 208

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5093	3032

prune680.0ms (4.6%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	207	1	208
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	207	13	220

Error

0.7b

Counts

220 → 13

Compiler

Compiled 9675 to 5715 computations (40.9% saved)

localize33.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.3b	(/.f64 (*.f64 a c) b)
0.3b	(+.f64 (/.f64 (.f64 a c) b) (/.f64 (.f64 (.f64 a a) (.f64 c c)) (pow.f64 b 3)))
0.1b	(+.f64 (.f64 -2 (+.f64 (/.f64 (.f64 a c) b) (/.f64 (.f64 (.f64 a a) (.f64 c c)) (pow.f64 b 3)))) (.f64 (/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5)) -4))
0.1b	(+.f64 (+.f64 (.f64 -2 (+.f64 (/.f64 (.f64 a c) b) (/.f64 (.f64 (.f64 a a) (.f64 c c)) (pow.f64 b 3)))) (.f64 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)) -4)) (.f64 (/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7)) -10))
0.4b	(/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))
0.4b	(/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5))
0.4b	(.f64 (.f64 a a) (*.f64 c c))
0.8b	(pow.f64 (*.f64 a c) 3)

rewrite77.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

98×	`add-exp-log_binary64_798`
63×	`times-frac_binary64_766`
42×	`div-exp_binary64_811` `unpow-prod-down_binary64_839`
40×	`pow-exp_binary64_828`
39×	`prod-exp_binary64_809`
36×	`pow-to-exp_binary64_829`
35×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795` `pow1_binary64_821` `add-sqr-sqrt_binary64_782`
26×	`add-cbrt-cube_binary64_796`
20×	`sqr-pow_binary64_732`
15×	`pow-prod-down_binary64_831`
14×	`associate-/r*_binary64_704`
10×	`cbrt-unprod_binary64_793`
9×	`cube-mult_binary64_790` `unpow3_binary64_826` `associate-/l*_binary64_705` `cube-prod_binary64_788`
4×	`add-log-exp_binary64_799` `pow-plus_binary64_823` `pow-prod-up_binary64_830`
3×	`cbrt-undiv_binary64_794` `pow-unpow_binary64_837`
2×	`pow2_binary64_841` `frac-2neg_binary64_771` `pow-sqr_binary64_733` `div-inv_binary64_757` `rem-cube-cbrt_binary64_783` `clear-num_binary64_759` `pow-pow_binary64_832`
1×	`unswap-sqr_binary64_728` `associate-r_binary64_700` `associate-l_binary64_701` `*-commutative_binary64_691`

Counts

4 → 202

Calls

8 calls:

14.0ms	(/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5))
12.0ms	(/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))
12.0ms	(.f64 (.f64 a a) (*.f64 c c))
4.0ms	(pow.f64 (*.f64 a c) 3)
0.0ms	(+.f64 (+.f64 (.f64 -2 (+.f64 (/.f64 (.f64 a c) b) (/.f64 (.f64 (.f64 a a) (.f64 c c)) (pow.f64 b 3)))) (.f64 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)) -4)) (.f64 (/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7)) -10))

series934.0ms (6.3%)

Counts

4 → 30

Calls

4 calls:

378.0ms	(/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))
355.0ms	(/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5))
105.0ms	(pow.f64 (*.f64 a c) 3)
95.0ms	(.f64 (.f64 a a) (*.f64 c c))

Compiler

Compiled 3000 to 2274 computations (24.2% saved)

simplify100.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

232 → 232

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4945	3565
1	4945	3565

prune898.0ms (6%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	231	1	232
Fresh	0	11	11
Picked	0	1	1
Done	0	1	1
Total	231	14	245

Error

0.7b

Counts

245 → 14

Compiler

Compiled 12614 to 7376 computations (41.5% saved)

localize40.0ms (0.3%)

Local error

Found 8 expressions with local error:

0.3b	(+.f64 (/.f64 (.f64 a c) b) (/.f64 (.f64 (.f64 a a) (.f64 c c)) (pow.f64 b 3)))
0.1b	(+.f64 (.f64 -2 (+.f64 (/.f64 (.f64 a c) b) (/.f64 (.f64 (.f64 a a) (.f64 c c)) (pow.f64 b 3)))) (.f64 (log.f64 (exp.f64 (/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5)))) -4))
0.1b	(+.f64 (+.f64 (.f64 -2 (+.f64 (/.f64 (.f64 a c) b) (/.f64 (.f64 (.f64 a a) (.f64 c c)) (pow.f64 b 3)))) (.f64 (log.f64 (exp.f64 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) -4)) (.f64 (/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7)) -10))
0.0b	(exp.f64 (/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5)))
0.4b	(/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5))
0.4b	(.f64 (.f64 a a) (*.f64 c c))
0.8b	(pow.f64 (*.f64 a c) 3)
36.3b	(log.f64 (exp.f64 (/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5))))

rewrite81.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

112×	`times-frac_binary64_766`
67×	`unpow-prod-down_binary64_839`
61×	`log-pow_binary64_849`
60×	`exp-prod_binary64_812`
56×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782`
39×	`add-exp-log_binary64_798`
36×	`pow1_binary64_821`
33×	`sqr-pow_binary64_732`
21×	`add-cbrt-cube_binary64_796`
16×	`cube-mult_binary64_790` `unpow3_binary64_826` `cube-prod_binary64_788`
15×	`pow-prod-down_binary64_831`
12×	`prod-exp_binary64_809` `pow-exp_binary64_828` `div-exp_binary64_811`
9×	`cbrt-unprod_binary64_793`
8×	`associate-/l*_binary64_705` `pow-to-exp_binary64_829`
7×	`associate-/r*_binary64_704`
4×	`add-log-exp_binary64_799` `pow-plus_binary64_823` `pow-prod-up_binary64_830`
3×	`pow-unpow_binary64_837` `log-prod_binary64_846`
2×	`pow2_binary64_841` `pow-sqr_binary64_733` `div-inv_binary64_757` `rem-cube-cbrt_binary64_783` `pow-pow_binary64_832`
1×	`unswap-sqr_binary64_728` `frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `associate-r_binary64_700` `associate-l_binary64_701` `rem-log-exp_binary64_801` `clear-num_binary64_759` `*-commutative_binary64_691`

Counts

4 → 217

Calls

8 calls:

14.0ms	(log.f64 (exp.f64 (/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5))))
10.0ms	(/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5))
10.0ms	(.f64 (.f64 a a) (*.f64 c c))
4.0ms	(pow.f64 (*.f64 a c) 3)
0.0ms	(exp.f64 (/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5)))

series1.3s (8.7%)

Counts

4 → 30

Calls

4 calls:

736.0ms	(log.f64 (exp.f64 (/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5))))
340.0ms	(/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5))
115.0ms	(pow.f64 (*.f64 a c) 3)
104.0ms	(.f64 (.f64 a a) (*.f64 c c))

Compiler

Compiled 3140 to 2432 computations (22.5% saved)

simplify98.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

247 → 247

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4975	3653
1	4975	3653

prune962.0ms (6.5%)

Pruning

14 alts after pruning (11 fresh and 3 done)

	Pruned	Kept	Total
New	247	0	247
Fresh	0	11	11
Picked	0	1	1
Done	0	2	2
Total	247	14	261

Error

0.7b

Counts

261 → 14

Compiler

Compiled 13883 to 8291 computations (40.3% saved)

simplify36.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	513	2163
1	513	2163

regimes360.0ms (2.4%)

Accuracy

Total 5.2b remaining (88.2%)

Threshold costs 0b (0%)

Compiler

Compiled 4236 to 3111 computations (26.6% saved)

bsearch0.0ms (0%)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	86	61
1	86	61

end0.0ms (0%)

sample6.1s (41.1%)

Algorithm

1×

intervals

Results

458.0ms	7675×	body	128	valid
324.0ms	8849×	pre	128	true
47.0ms	849×	body	128	nan
38.0ms	325×	body	256	valid

Compiler

Compiled 4260 to 3120 computations (26.8% saved)

Pareto

0.4264678729184537

Details

analyze341.0ms (2.3%)

sample34.0ms (0.2%)

simplify526.0ms (3.5%)

prune9.0ms (0.1%)

localize22.0ms (0.1%)

rewrite45.0ms (0.3%)

series735.0ms (4.9%)

simplify113.0ms (0.8%)

prune264.0ms (1.8%)

localize45.0ms (0.3%)

rewrite92.0ms (0.6%)

series825.0ms (5.5%)

simplify98.0ms (0.7%)

prune680.0ms (4.6%)

localize33.0ms (0.2%)

rewrite77.0ms (0.5%)

series934.0ms (6.3%)

simplify100.0ms (0.7%)

prune898.0ms (6%)

localize40.0ms (0.3%)

rewrite81.0ms (0.5%)

series1.3s (8.7%)

simplify98.0ms (0.7%)

prune962.0ms (6.5%)

simplify36.0ms (0.2%)

regimes360.0ms (2.4%)

bsearch0.0ms (0%)

simplify6.0ms (0%)

end0.0ms (0%)

sample6.1s (41.1%)

Profiling