Details

analyze889.0ms (10%)

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
0%	99.8%	0.2%	9
13.2%	86.5%	0.2%	10
17%	82.8%	0.2%	11
18.2%	81.5%	0.2%	12
21.7%	78.1%	0.2%	13
32.9%	66.9%	0.2%	14

Compiler

Compiled 12 to 11 computations (8.3% saved)

sample22.0ms (0.3%)

Algorithm

1×

intervals

Results

9.0ms	256×	body	128	valid
1.0ms	27×	body	128	invalid

Compiler

Compiled 23 to 26 computations (-13% saved)

simplify270.0ms (3.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (169.0ms)

Iter	Nodes	Cost
0	4973	16
1	4973	16

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

13.2b

Counts

2 → 1

Compiler

Compiled 22 to 20 computations (9.1% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

12.8b	(/.f64 (-.f64 x (.f64 y z)) (-.f64 t (.f64 a z)))
12.8b	(/.f64 (-.f64 x (.f64 y z)) (-.f64 t (.f64 a z)))

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-sqr-sqrt_binary64_20219` `*-un-lft-identity_binary64_20197` `times-frac_binary64_20203` `add-cube-cbrt_binary64_20232`
3×	`add-exp-log_binary64_20235` `add-cbrt-cube_binary64_20233` `associate-/r_binary64_20141` `associate-/l_binary64_20142`
2×	`flip3--_binary64_20201` `associate-/r/_binary64_20143` `associate-/l/_binary64_20144` `flip--_binary64_20172`
1×	`div-sub_binary64_20202` `frac-2neg_binary64_20208` `clear-num_binary64_20196` `add-log-exp_binary64_20236` `div-inv_binary64_20194` `div-exp_binary64_20248` `cbrt-undiv_binary64_20231` `pow1_binary64_20258`

Counts

1 → 32

Calls

2 calls:

6.0ms	(/.f64 (-.f64 x (.f64 y z)) (-.f64 t (.f64 a z)))
0.0ms	(/.f64 (-.f64 x (.f64 y z)) (-.f64 t (.f64 a z)))

series431.0ms (4.9%)

Counts

1 → 37

Calls

1 calls:

431.0ms

(/.f64 (-.f64 x (*.f64 y z)) (-.f64 t (*.f64 a z)))

Compiler

Compiled 1460 to 1099 computations (24.7% saved)

simplify41.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 0 (21.0ms)

Iter	Nodes	Cost
0	5058	1874

prune97.0ms (1.1%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	58	11	69
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	59	11	70

Error

1.9b

Counts

70 → 11

Compiler

Compiled 1644 to 374 computations (77.3% saved)

localize10.0ms (0.1%)

Local error

Found 6 expressions with local error:

13.0b	(/.f64 (.f64 y z) (-.f64 t (.f64 z a)))
3.4b	(/.f64 x (-.f64 t (*.f64 z a)))
0.0b	(-.f64 (/.f64 x (-.f64 t (.f64 z a))) (/.f64 (.f64 y z) (-.f64 t (*.f64 z a))))
0.0b	(-.f64 (/.f64 x (-.f64 t (.f64 z a))) (/.f64 (.f64 y z) (-.f64 t (*.f64 z a))))
3.4b	(/.f64 x (-.f64 t (*.f64 z a)))
13.0b	(/.f64 (.f64 y z) (-.f64 t (.f64 z a)))

rewrite35.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64_20219`
17×	`*-un-lft-identity_binary64_20197`
16×	`times-frac_binary64_20203`
15×	`add-cube-cbrt_binary64_20232`
10×	`add-exp-log_binary64_20235` `add-cbrt-cube_binary64_20233` `associate-/r/_binary64_20143`
9×	`cancel-sign-sub-inv_binary64_20163`
6×	`flip3--_binary64_20201` `associate-/r*_binary64_20141` `flip--_binary64_20172`
5×	`add-log-exp_binary64_20236` `div-inv_binary64_20194`
4×	`associate-/l*_binary64_20142`
3×	`distribute-rgt-out--_binary64_20151` `div-exp_binary64_20248` `cbrt-undiv_binary64_20231` `pow1_binary64_20258`
2×	`frac-2neg_binary64_20208` `difference-of-squares_binary64_20166` `clear-num_binary64_20196`
1×	`sub-neg_binary64_20190` `frac-sub_binary64_20206` `cbrt-unprod_binary64_20230` `prod-exp_binary64_20246` `sub-div_binary64_20204` `distribute-lft-out--_binary64_20149` `diff-log_binary64_20289`

Counts

3 → 80

Calls

6 calls:

16.0ms	(-.f64 (/.f64 x (-.f64 t (.f64 z a))) (/.f64 (.f64 y z) (-.f64 t (*.f64 z a))))
6.0ms	(/.f64 (.f64 y z) (-.f64 t (.f64 z a)))
5.0ms	(/.f64 x (-.f64 t (*.f64 z a)))
0.0ms	(-.f64 (/.f64 x (-.f64 t (.f64 z a))) (/.f64 (.f64 y z) (-.f64 t (*.f64 z a))))
0.0ms	(/.f64 (.f64 y z) (-.f64 t (.f64 z a)))

series916.0ms (10.3%)

Counts

3 → 79

Calls

3 calls:

549.0ms	(-.f64 (/.f64 x (-.f64 t (.f64 z a))) (/.f64 (.f64 y z) (-.f64 t (*.f64 z a))))
213.0ms	(/.f64 x (-.f64 t (*.f64 z a)))
153.0ms	(/.f64 (.f64 y z) (-.f64 t (.f64 z a)))

Compiler

Compiled 3150 to 2388 computations (24.2% saved)

simplify79.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

159 → 159

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4993	3567
1	4993	3567

prune131.0ms (1.5%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	156	3	159
Fresh	7	3	10
Picked	1	0	1
Done	0	0	0
Total	164	6	170

Error

0.0b

Counts

170 → 6

Compiler

Compiled 3723 to 574 computations (84.6% saved)

localize10.0ms (0.1%)

Local error

Found 8 expressions with local error:

9.2b	(/.f64 z (-.f64 t (*.f64 z a)))
3.4b	(/.f64 x (-.f64 t (*.f64 z a)))
2.8b	(.f64 y (/.f64 z (-.f64 t (.f64 z a))))
0.0b	(-.f64 (/.f64 x (-.f64 t (.f64 z a))) (.f64 y (/.f64 z (-.f64 t (*.f64 z a)))))
0.0b	(-.f64 (/.f64 x (-.f64 t (.f64 z a))) (.f64 y (/.f64 z (-.f64 t (*.f64 z a)))))
2.8b	(.f64 y (/.f64 z (-.f64 t (.f64 z a))))
3.4b	(/.f64 x (-.f64 t (*.f64 z a)))
9.2b	(/.f64 z (-.f64 t (*.f64 z a)))

rewrite36.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

33×	`add-sqr-sqrt_binary64_20219`
28×	`*-un-lft-identity_binary64_20197` `times-frac_binary64_20203` `add-cube-cbrt_binary64_20232`
15×	`associate-r_binary64_20137`
13×	`add-exp-log_binary64_20235` `add-cbrt-cube_binary64_20233`
6×	`add-log-exp_binary64_20236` `associate-/r_binary64_20141` `associate-/r/_binary64_20143` `associate-/l_binary64_20142` `pow1_binary64_20258`
4×	`flip3--_binary64_20201` `flip--_binary64_20172`
3×	`div-inv_binary64_20194` `div-exp_binary64_20248` `associate-l_binary64_20138` `associate-*r/_binary64_20139` `cbrt-undiv_binary64_20231`
2×	`cbrt-unprod_binary64_20230` `frac-2neg_binary64_20208` `clear-num_binary64_20196` `unswap-sqr_binary64_20165` `prod-exp_binary64_20246`
1×	`sub-neg_binary64_20190` `frac-sub_binary64_20206` `sub-div_binary64_20204` `*-commutative_binary64_20128` `pow-prod-down_binary64_20268` `cancel-sign-sub-inv_binary64_20163` `diff-log_binary64_20289`

Counts

4 → 106

Calls

8 calls:

9.0ms	(.f64 y (/.f64 z (-.f64 t (.f64 z a))))
9.0ms	(-.f64 (/.f64 x (-.f64 t (.f64 z a))) (.f64 y (/.f64 z (-.f64 t (*.f64 z a)))))
5.0ms	(/.f64 z (-.f64 t (*.f64 z a)))
4.0ms	(/.f64 x (-.f64 t (*.f64 z a)))
0.0ms	(-.f64 (/.f64 x (-.f64 t (.f64 z a))) (.f64 y (/.f64 z (-.f64 t (*.f64 z a)))))

series973.0ms (11%)

Counts

4 → 92

Calls

4 calls:

538.0ms	(-.f64 (/.f64 x (-.f64 t (.f64 z a))) (.f64 y (/.f64 z (-.f64 t (*.f64 z a)))))
206.0ms	(/.f64 x (-.f64 t (*.f64 z a)))
155.0ms	(.f64 y (/.f64 z (-.f64 t (.f64 z a))))
74.0ms	(/.f64 z (-.f64 t (*.f64 z a)))

Compiler

Compiled 3609 to 2762 computations (23.5% saved)

simplify88.0ms (1%)

Algorithm

1×	egg-herbie

Counts

198 → 198

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5059	3819

prune156.0ms (1.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	198	0	198
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	198	6	204

Error

0.0b

Counts

204 → 6

Compiler

Compiled 4490 to 708 computations (84.2% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

12.7b	(.f64 (-.f64 x (.f64 y z)) (/.f64 1 (-.f64 t (*.f64 z a))))
0.3b	(/.f64 1 (-.f64 t (*.f64 z a)))
0.3b	(/.f64 1 (-.f64 t (*.f64 z a)))
12.7b	(.f64 (-.f64 x (.f64 y z)) (/.f64 1 (-.f64 t (*.f64 z a))))

rewrite24.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`add-sqr-sqrt_binary64_20219`
20×	`times-frac_binary64_20203`
19×	`*-un-lft-identity_binary64_20197`
18×	`add-cube-cbrt_binary64_20232`
15×	`add-exp-log_binary64_20235` `associate-r_binary64_20137`
9×	`add-cbrt-cube_binary64_20233`
5×	`pow1_binary64_20258`
4×	`flip3--_binary64_20201` `associate-/r/_binary64_20143` `div-exp_binary64_20248` `prod-exp_binary64_20246` `flip--_binary64_20172`
3×	`unswap-sqr_binary64_20165` `associate-/r_binary64_20141` `associate-/l_binary64_20142` `associate-l_binary64_20138`
2×	`frac-times_binary64_20207` `cbrt-unprod_binary64_20230` `add-log-exp_binary64_20236` `div-inv_binary64_20194` `rec-exp_binary64_20247` `1-exp_binary64_20241` `associate-*l/_binary64_20140` `cbrt-undiv_binary64_20231`
1×	`un-div-inv_binary64_20195` `inv-pow_binary64_20282` `frac-2neg_binary64_20208` `clear-num_binary64_20196` `-commutative_binary64_20128` `pow-prod-down_binary64_20268` `associate-r/_binary64_20139` `pow-flip_binary64_20271`

Counts

2 → 75

Calls

4 calls:

12.0ms	(.f64 (-.f64 x (.f64 y z)) (/.f64 1 (-.f64 t (*.f64 z a))))
5.0ms	(/.f64 1 (-.f64 t (*.f64 z a)))
0.0ms	(/.f64 1 (-.f64 t (*.f64 z a)))
0.0ms	(.f64 (-.f64 x (.f64 y z)) (/.f64 1 (-.f64 t (*.f64 z a))))

series586.0ms (6.6%)

Counts

2 → 64

Calls

2 calls:

432.0ms	(.f64 (-.f64 x (.f64 y z)) (/.f64 1 (-.f64 t (*.f64 z a))))
154.0ms	(/.f64 1 (-.f64 t (*.f64 z a)))

Compiler

Compiled 2409 to 1902 computations (21% saved)

simplify58.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

139 → 139

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	5405	2994

prune102.0ms (1.2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	139	0	139
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	139	6	145

Error

0.0b

Counts

145 → 6

Compiler

Compiled 2750 to 652 computations (76.3% saved)

simplify22.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (11.0ms)

Iter	Nodes	Cost
0	620	985
1	620	985

regimes344.0ms (3.9%)

Compiler: Compiled 3225 to 2235 computations (30.7% saved)

bsearch44.0ms (0.5%)

Steps

Iters	Range		Point
8	7.319461019384451e-22	1.090471384519353e-17	5.350417554604714e-20
9	-2.603234496524434e-85	-2.21702751949861e-91	-1.8309315438264195e-90

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes178.0ms (2%)

Compiler: Compiled 955 to 1015 computations (-6.3% saved)

bsearch42.0ms (0.5%)

Steps

Iters	Range		Point
8	7.319461019384451e-22	1.090471384519353e-17	1.0806495670300669e-18
9	-2.603234496524434e-85	-2.21702751949861e-91	-3.5402791921895114e-89

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes319.0ms (3.6%)

Compiler: Compiled 710 to 845 computations (-19% saved)

bsearch35.0ms (0.4%)

Steps

Iters	Range		Point
7	1.0893835426246548e+103	1.7543601697746552e+105	8.116864161191549e+104
7	-4.0858872783215205e+138	-9.021880662106432e+136	-2.849008921045424e+137

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes329.0ms (3.7%)

Compiler: Compiled 395 to 565 computations (-43% saved)

bsearch59.0ms (0.7%)

Steps

Iters	Range		Point
10	6.654818323010425e+20	4.215420250805213e+31	1.8686172713538164e+21
7	1.102977442660192e-224	2.530421330865355e-223	1.484576833844367e-223
9	-2.603234496524434e-85	-2.21702751949861e-91	-2.5631144847457444e-85

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes244.0ms (2.7%)

Compiler: Compiled 160 to 320 computations (-100% saved)

bsearch61.0ms (0.7%)

Steps

Iters	Range		Point
10	251115479.68588272	5.657835012825872e+19	126256121638203.44
7	1.102977442660192e-224	2.530421330865355e-223	7.694522913990753e-224
9	-2.603234496524434e-85	-2.21702751949861e-91	-2.5631144847457444e-85

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes207.0ms (2.3%)

Compiler: Compiled 125 to 280 computations (-124% saved)

bsearch42.0ms (0.5%)

Steps

Iters	Range		Point
10	6.654818323010425e+20	4.215420250805213e+31	3.047966088704956e+25
9	-2.603234496524434e-85	-2.21702751949861e-91	-2.5631144847457444e-85

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes168.0ms (1.9%)

Compiler: Compiled 90 to 240 computations (-166.7% saved)

bsearch39.0ms (0.4%)

Steps

Iters	Range		Point
8	6.849339816540849e+49	3.999769180753649e+52	3.181744006878424e+52
10	-2.7701851143815006e+67	-4.824976286419497e+54	-3.1272847213492848e+66

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes163.0ms (1.8%)

Compiler: Compiled 55 to 200 computations (-263.6% saved)

bsearch45.0ms (0.5%)

Steps

Iters	Range		Point
10	6.654818323010425e+20	4.215420250805213e+31	2.847776845149297e+29
9	-2.21702751949861e-91	-8.074564932591001e-98	-2.1913474323769692e-91

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes69.0ms (0.8%)

Compiler: Compiled 40 to 170 computations (-325% saved)

bsearch12.0ms (0.1%)

Steps

Iters	Range		Point
6	1.2190485555208014e+226	1.6763804856525796e+227	6.059723920873667e+226

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes46.0ms (0.5%)

Accuracy

Total 1.7b remaining (99.4%)

Threshold costs 0b (0%)

Compiler

Compiled 25 to 140 computations (-460% saved)

bsearch12.0ms (0.1%)

Compiler: Compiled 296 to 182 computations (38.5% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	175	378
1	175	378

end0.0ms (0%)

sample1.4s (15.6%)

Algorithm

1×

intervals

Results

285.0ms	8000×	body	128	valid
35.0ms	746×	body	128	invalid

Compiler

Compiled 964 to 663 computations (31.2% saved)

Pareto

0.17257460043171097

Details

analyze889.0ms (10%)

sample22.0ms (0.3%)

simplify270.0ms (3.1%)

prune3.0ms (0%)

localize8.0ms (0.1%)

rewrite9.0ms (0.1%)

series431.0ms (4.9%)

simplify41.0ms (0.5%)

prune97.0ms (1.1%)

localize10.0ms (0.1%)

rewrite35.0ms (0.4%)

series916.0ms (10.3%)

simplify79.0ms (0.9%)

prune131.0ms (1.5%)

localize10.0ms (0.1%)

rewrite36.0ms (0.4%)

series973.0ms (11%)

simplify88.0ms (1%)

prune156.0ms (1.8%)

localize11.0ms (0.1%)

rewrite24.0ms (0.3%)

series586.0ms (6.6%)

simplify58.0ms (0.7%)

prune102.0ms (1.2%)

simplify22.0ms (0.3%)

regimes344.0ms (3.9%)

bsearch44.0ms (0.5%)

regimes178.0ms (2%)

bsearch42.0ms (0.5%)

regimes319.0ms (3.6%)

bsearch35.0ms (0.4%)

regimes329.0ms (3.7%)

bsearch59.0ms (0.7%)

regimes244.0ms (2.7%)

bsearch61.0ms (0.7%)

regimes207.0ms (2.3%)

bsearch42.0ms (0.5%)

regimes168.0ms (1.9%)

bsearch39.0ms (0.4%)

regimes163.0ms (1.8%)

bsearch45.0ms (0.5%)

regimes69.0ms (0.8%)

bsearch12.0ms (0.1%)

regimes46.0ms (0.5%)

bsearch12.0ms (0.1%)

simplify8.0ms (0.1%)

end0.0ms (0%)

sample1.4s (15.6%)

Profiling