Details

analyze970.0ms (4.6%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4937	96
1	4937	96
0	3	3
1	3	3

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)

sample84.0ms (0.4%)

Algorithm

1×

intervals

Results

23.0ms	120×	body	256	valid
16.0ms	55×	body	512	valid
16.0ms	275×	pre	128	true
8.0ms	81×	body	128	valid
2.0ms	19×	body	128	nan

Compiler

Compiled 47 to 41 computations (12.8% saved)

simplify576.0ms (2.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (566.0ms)

Iter	Nodes	Cost
0	1802	24
1	1802	24

prune7.0ms (0%)

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

53.5b

Counts

2 → 1

Compiler

Compiled 32 to 26 computations (18.8% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
0.2b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
0.3b	(.f64 (.f64 3 a) c)
25.6b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)

rewrite77.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64_782`
14×	`*-un-lft-identity_binary64_760` `add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
9×	`pow1_binary64_821`
8×	`add-cube-cbrt_binary64_795` `add-log-exp_binary64_799`
6×	`difference-of-squares_binary64_729` `associate-/l*_binary64_705` `times-frac_binary64_766`
4×	`prod-exp_binary64_809` `cancel-sign-sub-inv_binary64_726` `cbrt-unprod_binary64_793`
3×	`sqrt-prod_binary64_776` `distribute-lft-out--_binary64_712` `associate-r_binary64_700` `pow-prod-down_binary64_831` `flip--_binary64_735` `flip3--_binary64_764`
2×	`diff-log_binary64_852` `cbrt-undiv_binary64_794` `associate-/l/_binary64_707` `div-exp_binary64_811` `sub-neg_binary64_753`
1×	`frac-2neg_binary64_771` `associate-/r_binary64_704` `div-inv_binary64_757` `associate-l_binary64_701` `div-sub_binary64_765` `clear-num_binary64_759` `-commutative_binary64_691`

Counts

4 → 77

Calls

4 calls:

24.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
21.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
11.0ms	(.f64 (.f64 3 a) c)
9.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))

series1.1s (5%)

Counts

4 → 60

Calls

4 calls:

383.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
299.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
279.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
109.0ms	(.f64 (.f64 3 a) c)

Compiler

Compiled 1692 to 1453 computations (14.1% saved)

simplify117.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5268	2923

prune369.0ms (1.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	130	7	137
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	131	7	138

Error

0.2b

Counts

138 → 7

Compiler

Compiled 3193 to 1868 computations (41.5% saved)

localize62.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.3b	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
0.3b	(.f64 (pow.f64 c 3) (.f64 a a))
0.4b	(/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))
0.4b	(/.f64 (.f64 (pow.f64 c 3) (.f64 a a)) (pow.f64 b 5))

rewrite124.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

156×	`add-exp-log_binary64_798`
72×	`prod-exp_binary64_809`
60×	`div-exp_binary64_811`
46×	`pow-exp_binary64_828` `pow-to-exp_binary64_829`
32×	`add-cbrt-cube_binary64_796`
26×	`associate-/r*_binary64_704` `times-frac_binary64_766`
24×	`add-sqr-sqrt_binary64_782`
22×	`unpow-prod-down_binary64_839`
21×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
12×	`associate-l_binary64_701`
10×	`cbrt-unprod_binary64_793` `cube-prod_binary64_788`
8×	`cbrt-undiv_binary64_794` `sqr-pow_binary64_732`
4×	`unswap-sqr_binary64_728` `add-log-exp_binary64_799` `pow1_binary64_821`
3×	`cube-mult_binary64_790` `frac-2neg_binary64_771` `unpow3_binary64_826` `div-inv_binary64_757` `associate-/l*_binary64_705` `clear-num_binary64_759`
1×	`associate-r_binary64_700` `*-commutative_binary64_691`

Counts

4 → 186

Calls

4 calls:

22.0ms	(/.f64 (.f64 (pow.f64 c 3) (.f64 a a)) (pow.f64 b 5))
18.0ms	(/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))
17.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
16.0ms	(.f64 (pow.f64 c 3) (.f64 a a))

series1.8s (8.6%)

Counts

4 → 33

Calls

4 calls:

651.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
549.0ms	(/.f64 (.f64 (pow.f64 c 3) (.f64 a a)) (pow.f64 b 5))
423.0ms	(/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))
202.0ms	(.f64 (pow.f64 c 3) (.f64 a a))

Compiler

Compiled 2970 to 2358 computations (20.6% saved)

simplify181.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

219 → 219

Iterations

Useful iterations: 0 (105.0ms)

Iter	Nodes	Cost
0	5148	3476

prune1.3s (6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	219	0	219
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	219	7	226

Error

0.2b

Counts

226 → 7

Compiler

Compiled 10747 to 6769 computations (37% saved)

localize70.0ms (0.3%)

Local error

Found 4 expressions with local error:

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 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 c c) (.f64 a a)) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))) (*.f64 3 a))
0.7b	(pow.f64 (*.f64 a c) 3)

rewrite181.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

91×	`add-exp-log_binary64_798`
66×	`times-frac_binary64_766`
44×	`div-exp_binary64_811`
42×	`unpow-prod-down_binary64_839`
40×	`pow-exp_binary64_828`
37×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782`
36×	`pow-to-exp_binary64_829`
32×	`prod-exp_binary64_809`
20×	`sqr-pow_binary64_732`
19×	`add-cbrt-cube_binary64_796`
15×	`associate-/r*_binary64_704`
12×	`associate-/l*_binary64_705`
10×	`associate-*r/_binary64_702`
9×	`cube-mult_binary64_790` `unpow3_binary64_826` `cube-prod_binary64_788`
7×	`associate-/l/_binary64_707` `pow1_binary64_821`
5×	`cbrt-undiv_binary64_794` `frac-sub_binary64_769`
4×	`add-log-exp_binary64_799` `frac-add_binary64_768`
3×	`frac-2neg_binary64_771` `div-inv_binary64_757` `cbrt-unprod_binary64_793` `clear-num_binary64_759` `pow-unpow_binary64_837`
2×	`flip3-+_binary64_763` `rem-cube-cbrt_binary64_783` `flip-+_binary64_734` `pow-pow_binary64_832`
1×	`div-sub_binary64_765` `pow-prod-down_binary64_831` `flip--_binary64_735` `flip3--_binary64_764`

Counts

4 → 202

Calls

4 calls:

63.0ms	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 c c) (.f64 a a)) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))) (*.f64 3 a))
18.0ms	(/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))
15.0ms	(/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5))
8.0ms	(pow.f64 (*.f64 a c) 3)

series2.0s (9.5%)

Counts

4 → 45

Calls

4 calls:

626.0ms	(/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))
607.0ms	(/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5))
598.0ms	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 c c) (.f64 a a)) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))) (*.f64 3 a))
198.0ms	(pow.f64 (*.f64 a c) 3)

Compiler

Compiled 3117 to 2452 computations (21.3% saved)

simplify201.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

247 → 247

Iterations

Useful iterations: 0 (85.0ms)

Iter	Nodes	Cost
0	5005	6595

prune1.5s (7.2%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	241	6	247
Fresh	0	5	5
Picked	1	0	1
Done	0	1	1
Total	242	12	254

Error

0.2b

Counts

254 → 12

Compiler

Compiled 15157 to 9122 computations (39.8% saved)

localize65.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.4b	(.f64 1/3 (/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3))) (+.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5))) (.f64 405/128 (/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7)))))) a))
0.4b	(/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5))
0.5b	(pow.f64 (*.f64 a c) 2)
0.7b	(pow.f64 (*.f64 a c) 3)

rewrite151.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

66×	`times-frac_binary64_766`
45×	`add-sqr-sqrt_binary64_782`
40×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
37×	`unpow-prod-down_binary64_839`
35×	`add-exp-log_binary64_798`
19×	`sqr-pow_binary64_732`
14×	`pow-exp_binary64_828` `add-cbrt-cube_binary64_796`
13×	`associate-r_binary64_700` `div-exp_binary64_811`
12×	`pow1_binary64_821`
9×	`cube-mult_binary64_790` `unpow3_binary64_826` `pow-to-exp_binary64_829` `cube-prod_binary64_788`
8×	`associate-/l*_binary64_705`
7×	`prod-exp_binary64_809` `associate-/r*_binary64_704`
6×	`pow-unpow_binary64_837`
4×	`add-log-exp_binary64_799` `pow-pow_binary64_832`
3×	`associate-l_binary64_701` `cbrt-unprod_binary64_793` `pow-prod-down_binary64_831`
2×	`unswap-sqr_binary64_728` `cbrt-undiv_binary64_794` `div-inv_binary64_757` `rem-cube-cbrt_binary64_783`
1×	`frac-2neg_binary64_771` `unpow2_binary64_825` `associate-r/_binary64_702` `clear-num_binary64_759` `-commutative_binary64_691`

Counts

4 → 166

Calls

4 calls:

69.0ms	(.f64 1/3 (/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3))) (+.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5))) (.f64 405/128 (/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7)))))) a))
15.0ms	(/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5))
8.0ms	(pow.f64 (*.f64 a c) 3)
8.0ms	(pow.f64 (*.f64 a c) 2)

series1.5s (6.8%)

Counts

4 → 42

Calls

4 calls:

578.0ms	(.f64 1/3 (/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3))) (+.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5))) (.f64 405/128 (/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7)))))) a))
565.0ms	(/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5))
177.0ms	(pow.f64 (*.f64 a c) 3)
139.0ms	(pow.f64 (*.f64 a c) 2)

Compiler

Compiled 2751 to 2218 computations (19.4% saved)

simplify185.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

208 → 208

Iterations

Useful iterations: 0 (90.0ms)

Iter	Nodes	Cost
0	5145	5618

prune1.4s (6.8%)

Pruning

13 alts after pruning (11 fresh and 2 done)

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

Error

0.2b

Counts

220 → 13

Compiler

Compiled 11259 to 7273 computations (35.4% saved)

regimes1.4s (6.8%)

Accuracy

Total 1.3b remaining (89.4%)

Threshold costs 0b (0%)

Compiler

Compiled 11978 to 8533 computations (28.8% saved)

bsearch0.0ms (0%)

simplify9.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	203	67
1	203	67

end0.0ms (0%)

sample5.8s (27.1%)

Algorithm

1×

intervals

Results

699.0ms	3727×	body	256	valid
507.0ms	8774×	pre	128	true
417.0ms	1524×	body	512	valid
265.0ms	2749×	body	128	valid
68.0ms	774×	body	128	nan

Compiler

Compiled 2378 to 1695 computations (28.7% saved)

Details

analyze970.0ms (4.6%)

sample84.0ms (0.4%)

simplify576.0ms (2.7%)

prune7.0ms (0%)

localize19.0ms (0.1%)

rewrite77.0ms (0.4%)

series1.1s (5%)

simplify117.0ms (0.6%)

prune369.0ms (1.7%)

localize62.0ms (0.3%)

rewrite124.0ms (0.6%)

series1.8s (8.6%)

simplify181.0ms (0.8%)

prune1.3s (6%)

localize70.0ms (0.3%)

rewrite181.0ms (0.8%)

series2.0s (9.5%)

simplify201.0ms (0.9%)

prune1.5s (7.2%)

localize65.0ms (0.3%)

rewrite151.0ms (0.7%)

series1.5s (6.8%)

simplify185.0ms (0.9%)

prune1.4s (6.8%)

regimes1.4s (6.8%)

bsearch0.0ms (0%)

simplify9.0ms (0%)

end0.0ms (0%)

sample5.8s (27.1%)

Profiling