Details

analyze690.0ms (7.8%)

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
9.4%	90.4%	0.2%	10
12.5%	85.6%	1.9%	11
19.8%	76.5%	3.7%	12
26.1%	64.4%	9.6%	13
31.7%	54.5%	13.7%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample21.0ms (0.2%)

Algorithm

1×

intervals

Results

7.0ms	256×	body	128	valid
2.0ms	72×	body	128	invalid

Compiler

Compiled 19 to 21 computations (-10.5% saved)

simplify225.0ms (2.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (126.0ms)

Iter	Nodes	Cost
0	1582	13
1	1582	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

0.0b

Counts

2 → 1

Compiler

Compiled 18 to 16 computations (11.1% saved)

localize7.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite19.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64_23288`
12×	`*-un-lft-identity_binary64_23266` `cancel-sign-sub-inv_binary64_23232`
8×	`associate-+r+_binary64_23198` `add-cube-cbrt_binary64_23301` `distribute-rgt-in_binary64_23216` `distribute-lft-in_binary64_23215`
6×	`flip--_binary64_23241` `flip3--_binary64_23270`
5×	`associate-l_binary64_23207` `associate-r_binary64_23206`
4×	`sub-neg_binary64_23259` `pow1_binary64_23327` `add-exp-log_binary64_23304` `frac-times_binary64_23276` `add-cbrt-cube_binary64_23302` `add-log-exp_binary64_23305`
2×	`difference-of-squares_binary64_23235` `associate-r/_binary64_23208` `distribute-lft-out--_binary64_23218` `associate-l/_binary64_23209`
1×	`sum-log_binary64_23357` `+-commutative_binary64_23196` `*-commutative_binary64_23197` `pow-prod-down_binary64_23337` `cbrt-unprod_binary64_23299` `flip-+_binary64_23240` `prod-exp_binary64_23315` `unswap-sqr_binary64_23234` `flip3-+_binary64_23269`

Counts

2 → 57

Calls

4 calls:

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

series481.0ms (5.4%)

Counts

2 → 48

Calls

2 calls:

289.0ms	(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))
192.0ms	(*.f64 (-.f64 y z) (-.f64 t x))

Compiler

Compiled 998 to 763 computations (23.5% saved)

simplify75.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5123	1382

prune81.0ms (0.9%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	101	4	105
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	102	4	106

Error

Counts

106 → 4

Compiler

Compiled 1400 to 279 computations (80.1% saved)

localize9.0ms (0.1%)

Local error

Found 8 expressions with local error:

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

rewrite38.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64_23288`
18×	`*-un-lft-identity_binary64_23266`
12×	`add-cube-cbrt_binary64_23301` `cancel-sign-sub-inv_binary64_23232`
11×	`add-log-exp_binary64_23305`
9×	`associate-+r+_binary64_23198`
8×	`distribute-rgt-in_binary64_23216` `pow1_binary64_23327` `add-exp-log_binary64_23304` `associate-l_binary64_23207` `add-cbrt-cube_binary64_23302` `associate-r_binary64_23206` `distribute-lft-in_binary64_23215`
6×	`associate-r/_binary64_23208` `flip--_binary64_23241` `flip3--_binary64_23270` `associate-l/_binary64_23209`
4×	`sum-log_binary64_23357` `sub-neg_binary64_23259` `frac-add_binary64_23274`
2×	`+-commutative_binary64_23196` `difference-of-squares_binary64_23235` `*-commutative_binary64_23197` `pow-prod-down_binary64_23337` `cbrt-unprod_binary64_23299` `flip-+_binary64_23240` `prod-exp_binary64_23315` `unswap-sqr_binary64_23234` `distribute-lft-out--_binary64_23218` `flip3-+_binary64_23269`
1×	`distribute-lft-out_binary64_23217`

Counts

4 → 89

Calls

8 calls:

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

series740.0ms (8.3%)

Counts

4 → 78

Calls

4 calls:

280.0ms	(+.f64 x (+.f64 (.f64 (-.f64 y z) t) (.f64 x (-.f64 z y))))
261.0ms	(+.f64 (.f64 (-.f64 y z) t) (.f64 x (-.f64 z y)))
100.0ms	(*.f64 (-.f64 y z) t)
99.0ms	(*.f64 x (-.f64 z y))

Compiler

Compiled 1662 to 1267 computations (23.8% saved)

simplify96.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

167 → 167

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4991	2293
1	4991	2293

prune110.0ms (1.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	167	0	167
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	167	4	171

Error

Counts

171 → 4

Compiler

Compiled 2720 to 428 computations (84.3% saved)

localize11.0ms (0.1%)

Local error

Found 8 expressions with local error:

23.7b	(/.f64 (.f64 (-.f64 t x) (-.f64 (.f64 y y) (*.f64 z z))) (+.f64 y z))
6.5b	(.f64 (-.f64 t x) (-.f64 (.f64 y y) (*.f64 z z)))
3.1b	(-.f64 (.f64 y y) (.f64 z z))
0.0b	(+.f64 x (/.f64 (.f64 (-.f64 t x) (-.f64 (.f64 y y) (*.f64 z z))) (+.f64 y z)))
0.0b	(+.f64 x (/.f64 (.f64 (-.f64 t x) (-.f64 (.f64 y y) (*.f64 z z))) (+.f64 y z)))
3.1b	(-.f64 (.f64 y y) (.f64 z z))
6.5b	(.f64 (-.f64 t x) (-.f64 (.f64 y y) (*.f64 z z)))
23.7b	(/.f64 (.f64 (-.f64 t x) (-.f64 (.f64 y y) (*.f64 z z))) (+.f64 y z))

rewrite43.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`*-un-lft-identity_binary64_23266`
13×	`flip--_binary64_23241` `flip3--_binary64_23270`
12×	`add-sqr-sqrt_binary64_23288`
11×	`add-exp-log_binary64_23304` `add-cbrt-cube_binary64_23302`
8×	`add-cube-cbrt_binary64_23301` `frac-times_binary64_23276` `associate-/l/_binary64_23213` `add-log-exp_binary64_23305`
6×	`pow1_binary64_23327`
5×	`associate-l_binary64_23207`
4×	`associate-r/_binary64_23208` `associate-r_binary64_23206` `associate-/r_binary64_23210` `times-frac_binary64_23272` `associate-*l/_binary64_23209`
3×	`sub-neg_binary64_23259` `difference-of-squares_binary64_23235` `distribute-lft-out_binary64_23217` `cancel-sign-sub-inv_binary64_23232`
2×	`div-exp_binary64_23317` `cbrt-undiv_binary64_23300` `distribute-rgt-in_binary64_23216` `cbrt-unprod_binary64_23299` `flip-+_binary64_23240` `associate-/r/_binary64_23212` `prod-exp_binary64_23315` `distribute-lft-in_binary64_23215` `flip3-+_binary64_23269`
1×	`sum-log_binary64_23357` `+-commutative_binary64_23196` `frac-2neg_binary64_23277` `-commutative_binary64_23197` `clear-num_binary64_23265` `pow-prod-down_binary64_23337` `div-inv_binary64_23263` `unswap-sqr_binary64_23234` `distribute-lft-out--_binary64_23218` `associate-/l_binary64_23211` `diff-log_binary64_23358`

Counts

4 → 91

Calls

8 calls:

13.0ms	(/.f64 (.f64 (-.f64 t x) (-.f64 (.f64 y y) (*.f64 z z))) (+.f64 y z))
10.0ms	(.f64 (-.f64 t x) (-.f64 (.f64 y y) (*.f64 z z)))
7.0ms	(+.f64 x (/.f64 (.f64 (-.f64 t x) (-.f64 (.f64 y y) (*.f64 z z))) (+.f64 y z)))
4.0ms	(-.f64 (.f64 y y) (.f64 z z))
0.0ms	(+.f64 x (/.f64 (.f64 (-.f64 t x) (-.f64 (.f64 y y) (*.f64 z z))) (+.f64 y z)))

series1.9s (21%)

Counts

4 → 84

Calls

4 calls:

997.0ms	(+.f64 x (/.f64 (.f64 (-.f64 t x) (-.f64 (.f64 y y) (*.f64 z z))) (+.f64 y z)))
466.0ms	(/.f64 (.f64 (-.f64 t x) (-.f64 (.f64 y y) (*.f64 z z))) (+.f64 y z))
311.0ms	(.f64 (-.f64 t x) (-.f64 (.f64 y y) (*.f64 z z)))
93.0ms	(-.f64 (.f64 y y) (.f64 z z))

Compiler

Compiled 2858 to 2077 computations (27.3% saved)

simplify94.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

175 → 175

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5095	3482

prune143.0ms (1.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	173	2	175
Fresh	2	0	2
Picked	0	1	1
Done	0	1	1
Total	175	4	179

Error

Counts

179 → 4

Compiler

Compiled 3609 to 760 computations (78.9% saved)

localize11.0ms (0.1%)

Local error

Found 8 expressions with local error:

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

rewrite40.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-log-exp_binary64_23305`
10×	`add-sqr-sqrt_binary64_23288` `*-un-lft-identity_binary64_23266`
7×	`sum-log_binary64_23357`
6×	`add-cube-cbrt_binary64_23301` `pow1_binary64_23327` `add-exp-log_binary64_23304` `add-cbrt-cube_binary64_23302`
5×	`associate-l_binary64_23207`
3×	`associate-+r+_binary64_23198` `associate-+r-_binary64_23200` `associate-r_binary64_23206` `diff-log_binary64_23358`
2×	`sub-neg_binary64_23259` `+-commutative_binary64_23196` `flip--_binary64_23241` `flip3--_binary64_23270` `flip-+_binary64_23240` `flip3-+_binary64_23269` `cancel-sign-sub-inv_binary64_23232` `associate-*l/_binary64_23209`
1×	`difference-of-squares_binary64_23235` `*-commutative_binary64_23197` `distribute-lft-out_binary64_23217` `pow-prod-down_binary64_23337` `cbrt-unprod_binary64_23299` `prod-exp_binary64_23315` `unswap-sqr_binary64_23234` `distribute-lft-out--_binary64_23218`

Counts

4 → 65

Calls

8 calls:

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

series849.0ms (9.5%)

Counts

4 → 87

Calls

4 calls:

295.0ms	(+.f64 x (+.f64 (.f64 x z) (-.f64 (.f64 (-.f64 t x) y) (*.f64 t z))))
252.0ms	(+.f64 (.f64 x z) (-.f64 (.f64 (-.f64 t x) y) (*.f64 t z)))
204.0ms	(-.f64 (.f64 (-.f64 t x) y) (.f64 t z))
97.0ms	(*.f64 (-.f64 t x) y)

Compiler

Compiled 1928 to 1447 computations (24.9% saved)

simplify80.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

152 → 152

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4994	2136
1	4994	2136

prune94.0ms (1.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	152	0	152
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	152	4	156

Error

Counts

156 → 4

Compiler

Compiled 2382 to 316 computations (86.7% saved)

simplify69.0ms (0.8%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	2119	578
1	2119	578

regimes316.0ms (3.6%)

Compiler: Compiled 2595 to 2094 computations (19.3% saved)

bsearch0.0ms (0%)

regimes155.0ms (1.7%)

Compiler: Compiled 824 to 880 computations (-6.8% saved)

bsearch0.0ms (0%)

regimes289.0ms (3.2%)

Compiler: Compiled 284 to 404 computations (-42.3% saved)

bsearch29.0ms (0.3%)

Steps

Iters	Range	Point
2	3.076968941465055e+25	3.3755448617624388e+25	3.2635788916509198e+25
9	3.732409418413111e-203	1.0636516329387436e-197	4.350383350346763e-199
3	-1.8873243538400688e-13	-1.5817593054434432e-13	-1.7154440141169672e-13

Iters

Range

Point

3.076968941465055e+25

3.3755448617624388e+25

3.2635788916509198e+25

3.732409418413111e-203

1.0636516329387436e-197

4.350383350346763e-199

-1.8873243538400688e-13

-1.5817593054434432e-13

-1.7154440141169672e-13

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes195.0ms (2.2%)

Compiler: Compiled 195 to 315 computations (-61.5% saved)

bsearch67.0ms (0.8%)

Steps

Iters	Range		Point
5	1077064702526.3368	3929392774501.58	1148817319671.21
7	1.210609946106544e-23	1.1695961761328036e-21	3.2741739785192826e-23
8	1.925396951681739e-222	8.588998224037977e-218	8.451755665464782e-218
10	-5.860046564209408e+48	-3.100578528513364e+34	-3.148758913237028e+34

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes181.0ms (2%)

Compiler: Compiled 160 to 280 computations (-75% saved)

bsearch25.0ms (0.3%)

Steps

Iters	Range		Point
2	3.076968941465055e+25	3.3755448617624388e+25	3.1142909315022278e+25
9	-1.937407944102544e+50	-7.094537822620616e+44	-9.190953743357998e+44

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes199.0ms (2.2%)

Compiler: Compiled 118 to 238 computations (-101.7% saved)

bsearch25.0ms (0.3%)

Steps

Iters

Range

Point

3.076968941465055e+25

3.3755448617624388e+25

3.1142909315022278e+25

3.6660811264494173e-243

7.872677831868618e-241

5.755631945079793e-241

-1.8873243538400688e-13

-1.5817593054434432e-13

-1.8300309072657017e-13

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes127.0ms (1.4%)

Compiler: Compiled 60 to 140 computations (-133.3% saved)

bsearch30.0ms (0.3%)

Steps

Iters	Range		Point
5	1077064702526.3368	3929392774501.58	1092764626258.7595
10	-5.860046564209408e+48	-3.100578528513364e+34	-3.148758913237028e+34

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes40.0ms (0.5%)

Compiler: Compiled 40 to 116 computations (-190% saved)

bsearch0.0ms (0%)

regimes39.0ms (0.4%)

Compiler: Compiled 20 to 92 computations (-360% saved)

bsearch0.0ms (0%)

regimes33.0ms (0.4%)

Accuracy

Total 0.0b remaining (84.5%)

Threshold costs 0.0b (84.5%)

Compiler

Compiled 16 to 72 computations (-350% saved)

bsearch8.0ms (0.1%)

Compiler: Compiled 194 to 128 computations (34% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	111	269
1	111	269

end0.0ms (0%)

sample1.2s (13.9%)

Algorithm

1×

intervals

Results

240.0ms	8000×	body	128	valid
78.0ms	2519×	body	128	invalid

Compiler

Compiled 606 to 464 computations (23.4% saved)

Pareto

0.3451184852076832

Details

analyze690.0ms (7.8%)

sample21.0ms (0.2%)

simplify225.0ms (2.5%)

prune2.0ms (0%)

localize7.0ms (0.1%)

rewrite19.0ms (0.2%)

series481.0ms (5.4%)

simplify75.0ms (0.8%)

prune81.0ms (0.9%)

localize9.0ms (0.1%)

rewrite38.0ms (0.4%)

series740.0ms (8.3%)

simplify96.0ms (1.1%)

prune110.0ms (1.2%)

localize11.0ms (0.1%)

rewrite43.0ms (0.5%)

series1.9s (21%)

simplify94.0ms (1.1%)

prune143.0ms (1.6%)

localize11.0ms (0.1%)

rewrite40.0ms (0.4%)

series849.0ms (9.5%)

simplify80.0ms (0.9%)

prune94.0ms (1.1%)

simplify69.0ms (0.8%)

regimes316.0ms (3.6%)

bsearch0.0ms (0%)

regimes155.0ms (1.7%)

bsearch0.0ms (0%)

regimes289.0ms (3.2%)

bsearch29.0ms (0.3%)

regimes195.0ms (2.2%)

bsearch67.0ms (0.8%)

regimes181.0ms (2%)

bsearch25.0ms (0.3%)

regimes199.0ms (2.2%)

bsearch25.0ms (0.3%)

regimes127.0ms (1.4%)

bsearch30.0ms (0.3%)

regimes40.0ms (0.5%)

bsearch0.0ms (0%)

regimes39.0ms (0.4%)

bsearch0.0ms (0%)

regimes33.0ms (0.4%)

bsearch8.0ms (0.1%)

simplify6.0ms (0.1%)

end0.0ms (0%)

sample1.2s (13.9%)

Profiling