Details

analyze442.0ms (5.7%)

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
15.6%	84.2%	0.2%	8
28.1%	71.7%	0.2%	9
37.4%	62.4%	0.2%	10
41.7%	58.1%	0.2%	11
53%	46.8%	0.2%	12
64.1%	35.6%	0.3%	13
66.7%	32.8%	0.5%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample225.0ms (2.9%)

Algorithm

1×

intervals

Results

213.0ms	256×	body	128	valid
1.0ms	19×	body	128	invalid

Compiler

Compiled 19 to 21 computations (-10.5% saved)

simplify140.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	772	13
1	772	13

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

5.4b

Counts

2 → 1

Compiler

Compiled 18 to 16 computations (11.1% saved)

localize7.0ms (0.1%)

Local error

Found 4 expressions with local error:

5.4b	(/.f64 x (*.f64 (-.f64 y z) (-.f64 t z)))
0.0b	(*.f64 (-.f64 y z) (-.f64 t z))
0.0b	(*.f64 (-.f64 y z) (-.f64 t z))
5.4b	(/.f64 x (*.f64 (-.f64 y z) (-.f64 t z)))

rewrite30.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64_18741`
12×	`flip--_binary64_18694` `flip3--_binary64_18723` `*-un-lft-identity_binary64_18719`
9×	`add-exp-log_binary64_18757` `add-cbrt-cube_binary64_18755`
8×	`add-cube-cbrt_binary64_18754` `associate-/r/_binary64_18665` `frac-times_binary64_18729`
6×	`cancel-sign-sub-inv_binary64_18685`
5×	`associate-l_binary64_18660` `associate-r_binary64_18659`
4×	`associate-l/_binary64_18662` `distribute-lft-in_binary64_18668` `distribute-rgt-in_binary64_18669` `associate-r/_binary64_18661` `pow1_binary64_18780`
3×	`times-frac_binary64_18725` `associate-/l*_binary64_18664`
2×	`distribute-lft-out--_binary64_18671` `cbrt-undiv_binary64_18753` `prod-exp_binary64_18768` `div-exp_binary64_18770` `cbrt-unprod_binary64_18752` `sub-neg_binary64_18712` `difference-of-squares_binary64_18688` `add-log-exp_binary64_18758`
1×	`-commutative_binary64_18650` `associate-/r_binary64_18663` `frac-2neg_binary64_18730` `clear-num_binary64_18718` `div-inv_binary64_18716` `unswap-sqr_binary64_18687` `pow-prod-down_binary64_18790`

Counts

2 → 67

Calls

4 calls:

11.0ms	(*.f64 (-.f64 y z) (-.f64 t z))
10.0ms	(/.f64 x (*.f64 (-.f64 y z) (-.f64 t z)))
0.0ms	(*.f64 (-.f64 y z) (-.f64 t z))
0.0ms	(/.f64 x (*.f64 (-.f64 y z) (-.f64 t z)))

series481.0ms (6.2%)

Counts

2 → 43

Calls

2 calls:

318.0ms	(/.f64 x (*.f64 (-.f64 y z) (-.f64 t z)))
162.0ms	(*.f64 (-.f64 y z) (-.f64 t z))

Compiler

Compiled 1450 to 1071 computations (26.1% saved)

simplify49.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5395	1890

prune100.0ms (1.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	103	7	110
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	103	8	111

Error

0.0b

Counts

111 → 8

Compiler

Compiled 1780 to 447 computations (74.9% saved)

localize8.0ms (0.1%)

Local error

Found 6 expressions with local error:

2.1b	(*.f64 (/.f64 1 (-.f64 y z)) (/.f64 x (-.f64 t z)))
0.0b	(/.f64 1 (-.f64 y z))
0.0b	(/.f64 x (-.f64 t z))
0.0b	(/.f64 x (-.f64 t z))
0.0b	(/.f64 1 (-.f64 y z))
2.1b	(*.f64 (/.f64 1 (-.f64 y z)) (/.f64 x (-.f64 t z)))

rewrite48.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

86×	`add-sqr-sqrt_binary64_18741`
71×	`*-un-lft-identity_binary64_18719`
67×	`times-frac_binary64_18725`
41×	`add-cube-cbrt_binary64_18754`
31×	`add-exp-log_binary64_18757`
21×	`associate-l_binary64_18660` `associate-r_binary64_18659`
19×	`add-cbrt-cube_binary64_18755`
14×	`distribute-lft-out--_binary64_18671` `difference-of-squares_binary64_18688`
11×	`div-exp_binary64_18770`
10×	`associate-/r*_binary64_18663`
8×	`prod-exp_binary64_18768` `associate-/r/_binary64_18665`
6×	`cbrt-undiv_binary64_18753` `unswap-sqr_binary64_18687` `pow1_binary64_18780` `associate-/l*_binary64_18664`
4×	`flip--_binary64_18694` `flip3--_binary64_18723` `cbrt-unprod_binary64_18752` `div-inv_binary64_18716`
3×	`1-exp_binary64_18763` `rec-exp_binary64_18769` `add-log-exp_binary64_18758`
2×	`frac-2neg_binary64_18730` `clear-num_binary64_18718`
1×	`inv-pow_binary64_18804` `-commutative_binary64_18650` `associate-l/_binary64_18662` `pow-flip_binary64_18793` `associate-*r/_binary64_18661` `frac-times_binary64_18729` `pow-prod-down_binary64_18790`

Counts

3 → 150

Calls

6 calls:

22.0ms	(*.f64 (/.f64 1 (-.f64 y z)) (/.f64 x (-.f64 t z)))
8.0ms	(/.f64 1 (-.f64 y z))
5.0ms	(/.f64 x (-.f64 t z))
0.0ms	(/.f64 x (-.f64 t z))
0.0ms	(*.f64 (/.f64 1 (-.f64 y z)) (/.f64 x (-.f64 t z)))

series504.0ms (6.5%)

Counts

3 → 55

Calls

3 calls:

326.0ms	(*.f64 (/.f64 1 (-.f64 y z)) (/.f64 x (-.f64 t z)))
114.0ms	(/.f64 x (-.f64 t z))
63.0ms	(/.f64 1 (-.f64 y z))

Compiler

Compiled 1935 to 1489 computations (23% saved)

simplify80.0ms (1%)

Algorithm

1×	egg-herbie

Counts

205 → 205

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5183	3173

prune145.0ms (1.9%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	203	2	205
Fresh	3	3	6
Picked	0	1	1
Done	0	1	1
Total	206	7	213

Error

Counts

213 → 7

Compiler

Compiled 3442 to 1012 computations (70.6% saved)

localize12.0ms (0.2%)

Local error

Found 8 expressions with local error:

2.1b	(*.f64 (/.f64 1 (-.f64 y z)) (/.f64 1 (/.f64 (-.f64 t z) x)))
0.8b	(/.f64 1 (/.f64 (-.f64 t z) x))
0.0b	(/.f64 1 (-.f64 y z))
0.0b	(/.f64 (-.f64 t z) x)
0.0b	(/.f64 (-.f64 t z) x)
0.0b	(/.f64 1 (-.f64 y z))
0.8b	(/.f64 1 (/.f64 (-.f64 t z) x))
2.1b	(*.f64 (/.f64 1 (-.f64 y z)) (/.f64 1 (/.f64 (-.f64 t z) x)))

rewrite105.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Rules

292×	`times-frac_binary64_18725`
247×	`add-sqr-sqrt_binary64_18741`
211×	`*-un-lft-identity_binary64_18719`
136×	`add-cube-cbrt_binary64_18754`
104×	`add-exp-log_binary64_18757`
62×	`associate-r_binary64_18659`
52×	`div-exp_binary64_18770`
34×	`add-cbrt-cube_binary64_18755`
32×	`distribute-lft-out--_binary64_18671` `difference-of-squares_binary64_18688`
28×	`prod-exp_binary64_18768`
27×	`associate-/r*_binary64_18663`
21×	`associate-l_binary64_18660`
18×	`1-exp_binary64_18763` `rec-exp_binary64_18769`
15×	`unswap-sqr_binary64_18687`
14×	`cbrt-undiv_binary64_18753`
12×	`div-inv_binary64_18716`
11×	`associate-/l*_binary64_18664`
10×	`pow1_binary64_18780`
6×	`cbrt-unprod_binary64_18752` `associate-/r/_binary64_18665`
4×	`inv-pow_binary64_18804` `pow-flip_binary64_18793` `add-log-exp_binary64_18758`
3×	`flip--_binary64_18694` `flip3--_binary64_18723` `frac-2neg_binary64_18730` `clear-num_binary64_18718` `pow-prod-down_binary64_18790`
2×	`associate-/l/_binary64_18666`
1×	`-commutative_binary64_18650` `associate-l/_binary64_18662` `div-sub_binary64_18724` `associate-*r/_binary64_18661` `un-div-inv_binary64_18717` `frac-times_binary64_18729`

Counts

4 → 326

Calls

8 calls:

43.0ms	(*.f64 (/.f64 1 (-.f64 y z)) (/.f64 1 (/.f64 (-.f64 t z) x)))
9.0ms	(/.f64 1 (/.f64 (-.f64 t z) x))
6.0ms	(/.f64 (-.f64 t z) x)
6.0ms	(/.f64 1 (-.f64 y z))
0.0ms	(/.f64 (-.f64 t z) x)

series638.0ms (8.3%)

Counts

4 → 70

Calls

4 calls:

323.0ms	(*.f64 (/.f64 1 (-.f64 y z)) (/.f64 1 (/.f64 (-.f64 t z) x)))
115.0ms	(/.f64 (-.f64 t z) x)
111.0ms	(/.f64 1 (/.f64 (-.f64 t z) x))
64.0ms	(/.f64 1 (-.f64 y z))

Compiler

Compiled 2311 to 1835 computations (20.6% saved)

simplify141.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

396 → 396

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4981	6681
1	4981	6681

prune318.0ms (4.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	394	2	396
Fresh	2	2	4
Picked	1	0	1
Done	1	1	2
Total	398	5	403

Error

Counts

403 → 5

Compiler

Compiled 7366 to 2385 computations (67.6% saved)

localize9.0ms (0.1%)

Local error

Found 6 expressions with local error:

2.2b	(/.f64 (/.f64 1 (-.f64 y z)) (/.f64 (-.f64 t z) x))
0.0b	(/.f64 1 (-.f64 y z))
0.0b	(/.f64 (-.f64 t z) x)
0.0b	(/.f64 (-.f64 t z) x)
0.0b	(/.f64 1 (-.f64 y z))
2.2b	(/.f64 (/.f64 1 (-.f64 y z)) (/.f64 (-.f64 t z) x))

rewrite131.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Rules

1059×	`times-frac_binary64_18725`
669×	`*-un-lft-identity_binary64_18719` `add-sqr-sqrt_binary64_18741`
401×	`add-cube-cbrt_binary64_18754`
134×	`distribute-lft-out--_binary64_18671` `difference-of-squares_binary64_18688`
45×	`div-inv_binary64_18716`
43×	`associate-/r/_binary64_18665`
31×	`add-exp-log_binary64_18757`
29×	`associate-/l*_binary64_18664`
27×	`associate-/r*_binary64_18663`
22×	`flip--_binary64_18694` `flip3--_binary64_18723`
19×	`div-exp_binary64_18770` `add-cbrt-cube_binary64_18755`
10×	`cbrt-undiv_binary64_18753`
4×	`pow1_binary64_18780`
3×	`1-exp_binary64_18763` `associate-/l/_binary64_18666` `frac-2neg_binary64_18730` `clear-num_binary64_18718` `rec-exp_binary64_18769` `add-log-exp_binary64_18758`
1×	`inv-pow_binary64_18804` `pow-flip_binary64_18793` `div-sub_binary64_18724`

Counts

3 → 542

Calls

6 calls:

24.0ms	(/.f64 (/.f64 1 (-.f64 y z)) (/.f64 (-.f64 t z) x))
7.0ms	(/.f64 (-.f64 t z) x)
6.0ms	(/.f64 1 (-.f64 y z))
0.0ms	(/.f64 (-.f64 t z) x)
0.0ms	(/.f64 1 (-.f64 y z))

series507.0ms (6.6%)

Counts

3 → 52

Calls

3 calls:

328.0ms	(/.f64 (/.f64 1 (-.f64 y z)) (/.f64 (-.f64 t z) x))
114.0ms	(/.f64 (-.f64 t z) x)
64.0ms	(/.f64 1 (-.f64 y z))

Compiler

Compiled 1714 to 1325 computations (22.7% saved)

simplify203.0ms (2.6%)

Algorithm

1×	egg-herbie

Counts

594 → 594

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5193	18970

prune566.0ms (7.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	593	1	594
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	594	5	599

Error

Counts

599 → 5

Compiler

Compiled 13833 to 3722 computations (73.1% saved)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	207	639
1	207	639

regimes379.0ms (4.9%)

Accuracy

Total 2.2b remaining (99.9%)

Threshold costs 0b (0%)

Compiler

Compiled 2847 to 2396 computations (15.8% saved)

bsearch47.0ms (0.6%)

Steps

Iters	Range		Point
9	1.6930509627606658e-217	5.220309460807469e-210	3.1832833041334292e-214
10	-7.316579035229567e-118	-1.9393059310753853e-128	-3.518145339442074e-120

Compiler

Compiled 1 to 4 computations (-300% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	37	57
1	37	57

end0.0ms (0%)

sample2.4s (30.9%)

Algorithm

1×

intervals

Results

267.0ms	8000×	body	128	valid
14.0ms	440×	body	128	invalid

Compiler

Compiled 1425 to 1163 computations (18.4% saved)

Pareto

0.3952439634608096

Details

analyze442.0ms (5.7%)

sample225.0ms (2.9%)

simplify140.0ms (1.8%)

prune2.0ms (0%)

localize7.0ms (0.1%)

rewrite30.0ms (0.4%)

series481.0ms (6.2%)

simplify49.0ms (0.6%)

prune100.0ms (1.3%)

localize8.0ms (0.1%)

rewrite48.0ms (0.6%)

series504.0ms (6.5%)

simplify80.0ms (1%)

prune145.0ms (1.9%)

localize12.0ms (0.2%)

rewrite105.0ms (1.4%)

series638.0ms (8.3%)

simplify141.0ms (1.8%)

prune318.0ms (4.1%)

localize9.0ms (0.1%)

rewrite131.0ms (1.7%)

series507.0ms (6.6%)

simplify203.0ms (2.6%)

prune566.0ms (7.3%)

simplify10.0ms (0.1%)

regimes379.0ms (4.9%)

bsearch47.0ms (0.6%)

simplify2.0ms (0%)

end0.0ms (0%)

sample2.4s (30.9%)

Profiling