Details

analyze679.0ms (7.5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
6.2%	93.6%	0.2%	9
6.2%	82.7%	11.1%	10
12.5%	73.7%	13.8%	11
15.6%	59.5%	25%	12
17.9%	53.3%	28.8%	13
22.4%	47.2%	30.4%	14

Compiler

Compiled 14 to 12 computations (14.3% saved)

sample25.0ms (0.3%)

Algorithm

1×

intervals

Results

9.0ms	256×	body	128	valid
4.0ms	106×	body	128	invalid

Compiler

Compiled 27 to 27 computations (0% saved)

simplify142.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	704	19
1	704	19

prune2.0ms (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

Error

4.8b

Counts

2 → 1

Compiler

Compiled 26 to 22 computations (15.4% saved)

localize10.0ms (0.1%)

Local error

Found 6 expressions with local error:

4.5b	(.f64 (.f64 y 4) (-.f64 (*.f64 z z) t))
0.0b	(-.f64 (*.f64 z z) t)
0.0b	(-.f64 (.f64 x x) (.f64 (.f64 y 4) (-.f64 (.f64 z z) t)))
0.0b	(-.f64 (.f64 x x) (.f64 (.f64 y 4) (-.f64 (.f64 z z) t)))
0.0b	(-.f64 (*.f64 z z) t)
4.5b	(.f64 (.f64 y 4) (-.f64 (*.f64 z z) t))

rewrite25.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`cancel-sign-sub-inv_binary64_17435`
11×	`add-sqr-sqrt_binary64_17491`
9×	`*-un-lft-identity_binary64_17469` `add-cube-cbrt_binary64_17504`
8×	`distribute-rgt-in_binary64_17419` `associate--r+_binary64_17405` `add-exp-log_binary64_17507` `distribute-lft-in_binary64_17418` `pow1_binary64_17530` `add-cbrt-cube_binary64_17505`
7×	`add-log-exp_binary64_17508`
6×	`sub-neg_binary64_17462`
4×	`associate-r_binary64_17409`
3×	`prod-exp_binary64_17518` `pow-prod-down_binary64_17540` `cbrt-unprod_binary64_17502` `flip3--_binary64_17473` `flip--_binary64_17444`
2×	`associate-*r/_binary64_17411` `difference-of-squares_binary64_17438` `diff-log_binary64_17561`
1×	`-commutative_binary64_17400` `associate-l*_binary64_17410`

Counts

3 → 64

Calls

6 calls:

10.0ms	(.f64 (.f64 y 4) (-.f64 (*.f64 z z) t))
5.0ms	(-.f64 (.f64 x x) (.f64 (.f64 y 4) (-.f64 (.f64 z z) t)))
4.0ms	(-.f64 (*.f64 z z) t)
0.0ms	(-.f64 (.f64 x x) (.f64 (.f64 y 4) (-.f64 (.f64 z z) t)))
0.0ms	(.f64 (.f64 y 4) (-.f64 (*.f64 z z) t))

series621.0ms (6.8%)

Counts

3 → 51

Calls

3 calls:

377.0ms	(-.f64 (.f64 x x) (.f64 (.f64 y 4) (-.f64 (.f64 z z) t)))
179.0ms	(.f64 (.f64 y 4) (-.f64 (*.f64 z z) t))
64.0ms	(-.f64 (*.f64 z z) t)

Compiler

Compiled 1066 to 1021 computations (4.2% saved)

simplify79.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4924	1628
1	4924	1628

prune108.0ms (1.2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	108	7	115
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	109	7	116

Error

2.2b

Counts

116 → 7

Compiler

Compiled 1897 to 768 computations (59.5% saved)

localize14.0ms (0.2%)

Local error

Found 6 expressions with local error:

7.0b	(.f64 (.f64 y 4) (*.f64 z z))
0.0b	(+.f64 (.f64 (.f64 y 4) (.f64 z z)) (.f64 y (*.f64 t -4)))
0.0b	(-.f64 (.f64 x x) (+.f64 (.f64 (.f64 y 4) (.f64 z z)) (.f64 y (.f64 t -4))))
0.0b	(-.f64 (.f64 x x) (+.f64 (.f64 (.f64 y 4) (.f64 z z)) (.f64 y (.f64 t -4))))
0.0b	(+.f64 (.f64 (.f64 y 4) (.f64 z z)) (.f64 y (*.f64 t -4)))
7.0b	(.f64 (.f64 y 4) (*.f64 z z))

rewrite31.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`add-exp-log_binary64_17507` `pow1_binary64_17530` `add-cbrt-cube_binary64_17505`
10×	`add-log-exp_binary64_17508`
8×	`prod-exp_binary64_17518` `pow-prod-down_binary64_17540` `cbrt-unprod_binary64_17502`
5×	`add-sqr-sqrt_binary64_17491`
4×	`*-un-lft-identity_binary64_17469` `add-cube-cbrt_binary64_17504`
3×	`cancel-sign-sub-inv_binary64_17435`
2×	`diff-log_binary64_17561` `sum-log_binary64_17560`
1×	`sub-neg_binary64_17462` `-commutative_binary64_17400` `associate-l_binary64_17410` `associate--r+_binary64_17405` `difference-of-squares_binary64_17438` `flip3-+_binary64_17472` `flip-+_binary64_17443` `+-commutative_binary64_17399` `associate-r*_binary64_17409` `flip3--_binary64_17473` `flip--_binary64_17444`

Counts

3 → 50

Calls

6 calls:

10.0ms	(-.f64 (.f64 x x) (+.f64 (.f64 (.f64 y 4) (.f64 z z)) (.f64 y (.f64 t -4))))
8.0ms	(+.f64 (.f64 (.f64 y 4) (.f64 z z)) (.f64 y (*.f64 t -4)))
7.0ms	(.f64 (.f64 y 4) (*.f64 z z))
0.0ms	(-.f64 (.f64 x x) (+.f64 (.f64 (.f64 y 4) (.f64 z z)) (.f64 y (.f64 t -4))))
0.0ms	(+.f64 (.f64 (.f64 y 4) (.f64 z z)) (.f64 y (*.f64 t -4)))

series654.0ms (7.2%)

Counts

3 → 45

Calls

3 calls:

366.0ms	(-.f64 (.f64 x x) (+.f64 (.f64 (.f64 y 4) (.f64 z z)) (.f64 y (.f64 t -4))))
215.0ms	(+.f64 (.f64 (.f64 y 4) (.f64 z z)) (.f64 y (*.f64 t -4)))
72.0ms	(.f64 (.f64 y 4) (*.f64 z z))

Compiler

Compiled 1060 to 1003 computations (5.4% saved)

simplify87.0ms (1%)

Algorithm

1×	egg-herbie

Counts

95 → 95

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	5710	1474

prune77.0ms (0.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	93	2	95
Fresh	3	3	6
Picked	0	1	1
Done	0	0	0
Total	96	6	102

Error

0.0b

Counts

102 → 6

Compiler

Compiled 1661 to 717 computations (56.8% saved)

localize12.0ms (0.1%)

Local error

Found 6 expressions with local error:

0.1b	(.f64 (.f64 (*.f64 y 4) z) z)
0.0b	(+.f64 (.f64 (.f64 (.f64 y 4) z) z) (.f64 y (*.f64 t -4)))
0.0b	(-.f64 (.f64 x x) (+.f64 (.f64 (.f64 (.f64 y 4) z) z) (.f64 y (.f64 t -4))))
0.0b	(-.f64 (.f64 x x) (+.f64 (.f64 (.f64 (.f64 y 4) z) z) (.f64 y (.f64 t -4))))
0.0b	(+.f64 (.f64 (.f64 (.f64 y 4) z) z) (.f64 y (*.f64 t -4)))
0.1b	(.f64 (.f64 (*.f64 y 4) z) z)

rewrite31.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-exp-log_binary64_17507` `pow1_binary64_17530` `add-cbrt-cube_binary64_17505`
10×	`add-log-exp_binary64_17508`
6×	`prod-exp_binary64_17518` `add-sqr-sqrt_binary64_17491` `pow-prod-down_binary64_17540` `cbrt-unprod_binary64_17502`
5×	`*-un-lft-identity_binary64_17469` `add-cube-cbrt_binary64_17504`
3×	`cancel-sign-sub-inv_binary64_17435` `associate-r_binary64_17409`
2×	`diff-log_binary64_17561` `sum-log_binary64_17560`
1×	`sub-neg_binary64_17462` `-commutative_binary64_17400` `associate-l*_binary64_17410` `associate--r+_binary64_17405` `difference-of-squares_binary64_17438` `flip3-+_binary64_17472` `flip-+_binary64_17443` `+-commutative_binary64_17399` `flip3--_binary64_17473` `flip--_binary64_17444`

Counts

3 → 49

Calls

6 calls:

11.0ms	(-.f64 (.f64 x x) (+.f64 (.f64 (.f64 (.f64 y 4) z) z) (.f64 y (.f64 t -4))))
8.0ms	(+.f64 (.f64 (.f64 (.f64 y 4) z) z) (.f64 y (*.f64 t -4)))
7.0ms	(.f64 (.f64 (*.f64 y 4) z) z)
0.0ms	(-.f64 (.f64 x x) (+.f64 (.f64 (.f64 (.f64 y 4) z) z) (.f64 y (.f64 t -4))))
0.0ms	(+.f64 (.f64 (.f64 (.f64 y 4) z) z) (.f64 y (*.f64 t -4)))

series638.0ms (7%)

Counts

3 → 45

Calls

3 calls:

368.0ms	(-.f64 (.f64 x x) (+.f64 (.f64 (.f64 (.f64 y 4) z) z) (.f64 y (.f64 t -4))))
197.0ms	(+.f64 (.f64 (.f64 (.f64 y 4) z) z) (.f64 y (*.f64 t -4)))
74.0ms	(.f64 (.f64 (*.f64 y 4) z) z)

Compiler

Compiled 1060 to 1003 computations (5.4% saved)

simplify90.0ms (1%)

Algorithm

1×	egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4986	1475
1	4986	1475

prune75.0ms (0.8%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	93	1	94
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	93	7	100

Error

0.0b

Counts

100 → 7

Compiler

Compiled 1658 to 745 computations (55.1% saved)

localize15.0ms (0.2%)

Local error

Found 8 expressions with local error:

23.7b	(/.f64 (-.f64 (pow.f64 z 4) (.f64 t t)) (+.f64 (.f64 z z) t))
4.5b	(.f64 (.f64 y 4) (/.f64 (-.f64 (pow.f64 z 4) (.f64 t t)) (+.f64 (.f64 z z) t)))
2.9b	(-.f64 (pow.f64 z 4) (*.f64 t t))
0.0b	(-.f64 (.f64 x x) (.f64 (.f64 y 4) (/.f64 (-.f64 (pow.f64 z 4) (.f64 t t)) (+.f64 (*.f64 z z) t))))
0.0b	(-.f64 (.f64 x x) (.f64 (.f64 y 4) (/.f64 (-.f64 (pow.f64 z 4) (.f64 t t)) (+.f64 (*.f64 z z) t))))
2.9b	(-.f64 (pow.f64 z 4) (*.f64 t t))
4.5b	(.f64 (.f64 y 4) (/.f64 (-.f64 (pow.f64 z 4) (.f64 t t)) (+.f64 (.f64 z z) t)))
23.7b	(/.f64 (-.f64 (pow.f64 z 4) (.f64 t t)) (+.f64 (.f64 z z) t))

rewrite53.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

41×	`add-sqr-sqrt_binary64_17491`
36×	`times-frac_binary64_17475`
25×	`*-un-lft-identity_binary64_17469` `add-cube-cbrt_binary64_17504`
24×	`difference-of-squares_binary64_17438` `associate-r_binary64_17409`
18×	`add-exp-log_binary64_17507` `add-cbrt-cube_binary64_17505`
9×	`pow1_binary64_17530`
8×	`sqr-pow_binary64_17441` `unpow-prod-down_binary64_17548` `add-log-exp_binary64_17508`
6×	`associate-/l*_binary64_17414` `prod-exp_binary64_17518` `cbrt-unprod_binary64_17502`
4×	`associate-/r/_binary64_17415`
3×	`associate-/r*_binary64_17413` `div-exp_binary64_17520` `cbrt-undiv_binary64_17503` `pow-prod-down_binary64_17540` `flip3--_binary64_17473` `flip--_binary64_17444`
2×	`sub-neg_binary64_17462` `associate-/l/_binary64_17416` `flip3-+_binary64_17472` `flip-+_binary64_17443` `cancel-sign-sub-inv_binary64_17435` `diff-log_binary64_17561` `div-inv_binary64_17466`
1×	`-commutative_binary64_17400` `associate-l_binary64_17410` `div-sub_binary64_17474` `associate-r/_binary64_17411` `frac-2neg_binary64_17480` `clear-num_binary64_17468`

Counts

4 → 115

Calls

8 calls:

17.0ms	(.f64 (.f64 y 4) (/.f64 (-.f64 (pow.f64 z 4) (.f64 t t)) (+.f64 (.f64 z z) t)))
13.0ms	(/.f64 (-.f64 (pow.f64 z 4) (.f64 t t)) (+.f64 (.f64 z z) t))
6.0ms	(-.f64 (pow.f64 z 4) (*.f64 t t))
4.0ms	(-.f64 (.f64 x x) (.f64 (.f64 y 4) (/.f64 (-.f64 (pow.f64 z 4) (.f64 t t)) (+.f64 (*.f64 z z) t))))
0.0ms	(-.f64 (.f64 x x) (.f64 (.f64 y 4) (/.f64 (-.f64 (pow.f64 z 4) (.f64 t t)) (+.f64 (*.f64 z z) t))))

series1.5s (17%)

Counts

4 → 63

Calls

4 calls:

882.0ms	(-.f64 (.f64 x x) (.f64 (.f64 y 4) (/.f64 (-.f64 (pow.f64 z 4) (.f64 t t)) (+.f64 (*.f64 z z) t))))
366.0ms	(.f64 (.f64 y 4) (/.f64 (-.f64 (pow.f64 z 4) (.f64 t t)) (+.f64 (.f64 z z) t)))
167.0ms	(/.f64 (-.f64 (pow.f64 z 4) (.f64 t t)) (+.f64 (.f64 z z) t))
132.0ms	(-.f64 (pow.f64 z 4) (*.f64 t t))

Compiler

Compiled 1680 to 1497 computations (10.9% saved)

simplify69.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

178 → 178

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5100	3589

prune173.0ms (1.9%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	177	1	178
Fresh	1	3	4
Picked	0	1	1
Done	1	1	2
Total	179	6	185

Error

0.0b

Counts

185 → 6

Compiler

Compiled 4186 to 1641 computations (60.8% saved)

simplify46.0ms (0.5%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	1420	629
1	1420	629

regimes421.0ms (4.6%)

Compiler: Compiled 4085 to 3324 computations (18.6% saved)

bsearch0.0ms (0%)

regimes246.0ms (2.7%)

Compiler: Compiled 1073 to 1216 computations (-13.3% saved)

bsearch1.0ms (0%)

Compiler: Compiled 3 to 5 computations (-66.7% saved)

regimes216.0ms (2.4%)

Compiler: Compiled 858 to 1014 computations (-18.2% saved)

bsearch1.0ms (0%)

Compiler: Compiled 3 to 5 computations (-66.7% saved)

regimes409.0ms (4.5%)

Compiler: Compiled 612 to 826 computations (-35% saved)

bsearch1.0ms (0%)

Compiler: Compiled 3 to 5 computations (-66.7% saved)

regimes326.0ms (3.6%)

Compiler: Compiled 460 to 663 computations (-44.1% saved)

bsearch35.0ms (0.4%)

Steps

Iters	Range		Point
7	6.734273209620151e-49	8.391021282982469e-47	5.65756512641683e-47
7	-15.208611788306039	-0.263559845816463	-0.31494806243018536

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes226.0ms (2.5%)

Compiler: Compiled 219 to 372 computations (-69.9% saved)

bsearch7.0ms (0.1%)

Steps

Iters	Range		Point
0	2.8560021268342835e+39	2.923441129440082e+39	2.8897216281371824e+39
3	-2.6591120647536946e+54	-2.1100656156027045e+54	-2.1443810186746414e+54

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes222.0ms (2.4%)

Compiler: Compiled 128 to 262 computations (-104.7% saved)

bsearch49.0ms (0.5%)

Steps

Iters	Range		Point
0	2.8560021268342835e+39	2.923441129440082e+39	2.8897216281371824e+39
6	-4.3996021805850403e-277	-5.0782751324302886e-278	-4.344082954146494e-277
9	-6.740704542506298e-157	-1.96910908428145e-165	-3.7502015261340084e-165
5	-0.263559845816463	-0.09513190119144002	-0.09662812088304433

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes144.0ms (1.6%)

Compiler: Compiled 69 to 177 computations (-156.5% saved)

bsearch11.0ms (0.1%)

Steps

Iters	Range		Point
0	2.8560021268342835e+39	2.923441129440082e+39	2.8897216281371824e+39
5	-0.263559845816463	-0.09513190119144002	-0.1085978784158788

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes49.0ms (0.5%)

Compiler: Compiled 44 to 142 computations (-222.7% saved)

bsearch0.0ms (0%)

regimes36.0ms (0.4%)

Accuracy

Total 0.2b remaining (85.2%)

Threshold costs 0.2b (85.2%)

Compiler

Compiled 20 to 92 computations (-360% saved)

bsearch11.0ms (0.1%)

Compiler: Compiled 275 to 190 computations (30.9% saved)

simplify18.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (13.0ms)

Iter	Nodes	Cost
0	483	384
1	483	384

end0.0ms (0%)

sample1.4s (15%)

Algorithm

1×

intervals

Results

280.0ms	8000×	body	128	valid
115.0ms	2961×	body	128	invalid

Compiler

Compiled 701 to 544 computations (22.4% saved)

Pareto

0.4087532250645977

Details

analyze679.0ms (7.5%)

sample25.0ms (0.3%)

simplify142.0ms (1.6%)

prune2.0ms (0%)

localize10.0ms (0.1%)

rewrite25.0ms (0.3%)

series621.0ms (6.8%)

simplify79.0ms (0.9%)

prune108.0ms (1.2%)

localize14.0ms (0.2%)

rewrite31.0ms (0.3%)

series654.0ms (7.2%)

simplify87.0ms (1%)

prune77.0ms (0.8%)

localize12.0ms (0.1%)

rewrite31.0ms (0.3%)

series638.0ms (7%)

simplify90.0ms (1%)

prune75.0ms (0.8%)

localize15.0ms (0.2%)

rewrite53.0ms (0.6%)

series1.5s (17%)

simplify69.0ms (0.8%)

prune173.0ms (1.9%)

simplify46.0ms (0.5%)

regimes421.0ms (4.6%)

bsearch0.0ms (0%)

regimes246.0ms (2.7%)

bsearch1.0ms (0%)

regimes216.0ms (2.4%)

bsearch1.0ms (0%)

regimes409.0ms (4.5%)

bsearch1.0ms (0%)

regimes326.0ms (3.6%)

bsearch35.0ms (0.4%)

regimes226.0ms (2.5%)

bsearch7.0ms (0.1%)

regimes222.0ms (2.4%)

bsearch49.0ms (0.5%)

regimes144.0ms (1.6%)

bsearch11.0ms (0.1%)

regimes49.0ms (0.5%)

bsearch0.0ms (0%)

regimes36.0ms (0.4%)

bsearch11.0ms (0.1%)

simplify18.0ms (0.2%)

end0.0ms (0%)

sample1.4s (15%)

Profiling