Details

analyze37.0ms (1.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
25%	74.9%	0.1%	3
25%	74.9%	0.1%	4
43.7%	56.2%	0.1%	5
46.8%	53.1%	0.1%	6
78%	21.9%	0.1%	7
82.7%	17.2%	0.1%	8
89%	10.9%	0.1%	9
91.3%	8.6%	0.1%	10
94.4%	5.5%	0.1%	11
95.6%	4.3%	0.1%	12
97.2%	2.7%	0.1%	13
97.8%	2.1%	0.1%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample17.0ms (0.6%)

Algorithm

1×

intervals

Results

6.0ms	255×	body	128	valid
0.0ms	1×	body	1024	valid

Compiler

Compiled 15 to 15 computations (0% saved)

simplify91.0ms (3.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	10	10
1	10	10

prune2.0ms (0.1%)

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 14 to 12 computations (14.3% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (+.f64 x y) (+.f64 y 1))
0.0b	(/.f64 (+.f64 x y) (+.f64 y 1))

rewrite11.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`*-un-lft-identity_binary64_9626`
16×	`times-frac_binary64_9632`
11×	`add-sqr-sqrt_binary64_9648` `add-cube-cbrt_binary64_9661`
10×	`distribute-lft-out_binary64_9577`
4×	`associate-/l_binary64_9571` `associate-/r_binary64_9570`
3×	`add-exp-log_binary64_9664` `add-cbrt-cube_binary64_9662`
2×	`associate-/l/_binary64_9573` `flip-+_binary64_9600` `associate-/r/_binary64_9572` `flip3-+_binary64_9629`
1×	`add-log-exp_binary64_9665` `div-exp_binary64_9677` `cbrt-undiv_binary64_9660` `pow1_binary64_9687` `frac-2neg_binary64_9637` `div-inv_binary64_9623` `clear-num_binary64_9625`

Counts

1 → 40

Calls

2 calls:

8.0ms	(/.f64 (+.f64 x y) (+.f64 y 1))
0.0ms	(/.f64 (+.f64 x y) (+.f64 y 1))

series88.0ms (3%)

Counts

1 → 18

Calls

1 calls:

87.0ms

(/.f64 (+.f64 x y) (+.f64 y 1))

Compiler

Compiled 261 to 215 computations (17.6% saved)

simplify76.0ms (2.6%)

Algorithm

1×	egg-herbie

Counts

58 → 58

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4948	978
1	4948	978

prune54.0ms (1.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	56	2	58
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	56	3	59

Error

0.0b

Counts

59 → 3

Compiler

Compiled 810 to 424 computations (47.7% saved)

localize9.0ms (0.3%)

Local error

Found 4 expressions with local error:

11.8b	(/.f64 (+.f64 x y) (-.f64 (*.f64 y y) 1))
0.1b	(.f64 (/.f64 (+.f64 x y) (-.f64 (.f64 y y) 1)) (-.f64 y 1))
0.1b	(.f64 (/.f64 (+.f64 x y) (-.f64 (.f64 y y) 1)) (-.f64 y 1))
11.8b	(/.f64 (+.f64 x y) (-.f64 (*.f64 y y) 1))

rewrite43.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Rules

66×	`*-un-lft-identity_binary64_9626`
49×	`times-frac_binary64_9632`
46×	`add-sqr-sqrt_binary64_9648`
30×	`associate-l_binary64_9567`
28×	`add-cube-cbrt_binary64_9661`
20×	`difference-of-squares_binary64_9595`
13×	`distribute-lft-out_binary64_9577`
10×	`difference-of-sqr-1_binary64_9596`
9×	`add-exp-log_binary64_9664` `add-cbrt-cube_binary64_9662`
7×	`associate-r_binary64_9566`
6×	`cancel-sign-sub-inv_binary64_9592` `associate-/r*_binary64_9570`
4×	`distribute-rgt-in_binary64_9576` `flip3--_binary64_9630` `flip--_binary64_9601` `pow1_binary64_9687` `associate-/l*_binary64_9571` `associate-/r/_binary64_9572` `distribute-lft-in_binary64_9575`
2×	`sub-neg_binary64_9619` `add-log-exp_binary64_9665` `div-exp_binary64_9677` `frac-times_binary64_9636` `prod-exp_binary64_9675` `associate-/l/_binary64_9573` `cbrt-undiv_binary64_9660` `unswap-sqr_binary64_9594` `div-inv_binary64_9623` `associate-*r/_binary64_9568` `cbrt-unprod_binary64_9659`
1×	`associate-l/_binary64_9569` `distribute-lft-out--_binary64_9578` `pow-prod-down_binary64_9697` `-commutative_binary64_9557` `flip-+_binary64_9600` `frac-2neg_binary64_9637` `clear-num_binary64_9625` `flip3-+_binary64_9629`

Counts

2 → 115

Calls

4 calls:

22.0ms	(.f64 (/.f64 (+.f64 x y) (-.f64 (.f64 y y) 1)) (-.f64 y 1))
9.0ms	(/.f64 (+.f64 x y) (-.f64 (*.f64 y y) 1))
0.0ms	(.f64 (/.f64 (+.f64 x y) (-.f64 (.f64 y y) 1)) (-.f64 y 1))
0.0ms	(/.f64 (+.f64 x y) (-.f64 (*.f64 y y) 1))

series285.0ms (9.7%)

Counts

2 → 32

Calls

2 calls:

177.0ms	(.f64 (/.f64 (+.f64 x y) (-.f64 (.f64 y y) 1)) (-.f64 y 1))
108.0ms	(/.f64 (+.f64 x y) (-.f64 (*.f64 y y) 1))

Compiler

Compiled 695 to 577 computations (17% saved)

simplify78.0ms (2.6%)

Algorithm

1×	egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4943	2681
1	4943	2681

prune119.0ms (4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	147	0	147
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	147	3	150

Error

0.0b

Counts

150 → 3

Compiler

Compiled 2685 to 1333 computations (50.4% saved)

localize13.0ms (0.4%)

Local error

Found 6 expressions with local error:

12.3b	(.f64 (/.f64 (+.f64 x y) (+.f64 1 (pow.f64 y 3))) (+.f64 (.f64 y y) (-.f64 (.f64 1 1) (.f64 y 1))))
6.3b	(/.f64 (+.f64 x y) (+.f64 1 (pow.f64 y 3)))
0.0b	(+.f64 (.f64 y y) (-.f64 (.f64 1 1) (*.f64 y 1)))
0.0b	(+.f64 (.f64 y y) (-.f64 (.f64 1 1) (*.f64 y 1)))
6.3b	(/.f64 (+.f64 x y) (+.f64 1 (pow.f64 y 3)))
12.3b	(.f64 (/.f64 (+.f64 x y) (+.f64 1 (pow.f64 y 3))) (+.f64 (.f64 y y) (-.f64 (.f64 1 1) (.f64 y 1))))

rewrite55.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Rules

59×	`*-un-lft-identity_binary64_9626`
33×	`times-frac_binary64_9632`
28×	`add-sqr-sqrt_binary64_9648`
23×	`add-cube-cbrt_binary64_9661`
22×	`associate-l_binary64_9567`
18×	`distribute-lft-out_binary64_9577`
10×	`add-exp-log_binary64_9664` `add-cbrt-cube_binary64_9662`
8×	`add-log-exp_binary64_9665`
6×	`flip-+_binary64_9600` `flip3-+_binary64_9629`
5×	`pow1_binary64_9687`
4×	`associate-/l_binary64_9571` `associate-/r/_binary64_9572` `associate-/r_binary64_9570`
3×	`associate-r_binary64_9566`
2×	`div-exp_binary64_9677` `frac-times_binary64_9636` `prod-exp_binary64_9675` `associate-/l/_binary64_9573` `cbrt-undiv_binary64_9660` `unswap-sqr_binary64_9594` `sum-log_binary64_9717` `div-inv_binary64_9623` `associate-*r/_binary64_9568` `cbrt-unprod_binary64_9659` `associate-+r+_binary64_9558`
1×	`associate-l/_binary64_9569` `distribute-rgt-in_binary64_9576` `sub-neg_binary64_9619` `diff-log_binary64_9718` `+-commutative_binary64_9556` `pow-prod-down_binary64_9697` `-commutative_binary64_9557` `associate-+r-_binary64_9560` `frac-2neg_binary64_9637` `cancel-sign-sub-inv_binary64_9592` `clear-num_binary64_9625` `distribute-lft-in_binary64_9575`

Counts

3 → 102

Calls

6 calls:

24.0ms	(.f64 (/.f64 (+.f64 x y) (+.f64 1 (pow.f64 y 3))) (+.f64 (.f64 y y) (-.f64 (.f64 1 1) (.f64 y 1))))
10.0ms	(/.f64 (+.f64 x y) (+.f64 1 (pow.f64 y 3)))
8.0ms	(+.f64 (.f64 y y) (-.f64 (.f64 1 1) (*.f64 y 1)))
0.0ms	(+.f64 (.f64 y y) (-.f64 (.f64 1 1) (*.f64 y 1)))
0.0ms	(.f64 (/.f64 (+.f64 x y) (+.f64 1 (pow.f64 y 3))) (+.f64 (.f64 y y) (-.f64 (.f64 1 1) (.f64 y 1))))

series389.0ms (13.2%)

Counts

3 → 41

Calls

3 calls:

218.0ms	(.f64 (/.f64 (+.f64 x y) (+.f64 1 (pow.f64 y 3))) (+.f64 (.f64 y y) (-.f64 (.f64 1 1) (.f64 y 1))))
119.0ms	(/.f64 (+.f64 x y) (+.f64 1 (pow.f64 y 3)))
52.0ms	(+.f64 (.f64 y y) (-.f64 (.f64 1 1) (*.f64 y 1)))

Compiler

Compiled 1180 to 960 computations (18.6% saved)

simplify78.0ms (2.7%)

Algorithm

1×	egg-herbie

Counts

143 → 143

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5164	3153

prune169.0ms (5.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	143	0	143
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	143	3	146

Error

0.0b

Counts

146 → 3

Compiler

Compiled 3629 to 2201 computations (39.3% saved)

simplify5.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	103	197
1	103	197

regimes49.0ms (1.7%)

Compiler: Compiled 274 to 238 computations (13.1% saved)

bsearch0.0ms (0%)

regimes98.0ms (3.3%)

Compiler: Compiled 56 to 70 computations (-25% saved)

bsearch38.0ms (1.3%)

Steps

Iters	Range		Point
8	4.324925380394195e-06	0.023951678011460076	1.2290925707053888e-05
8	-0.03892702568431092	-0.00013892512059800812	-0.00037778364174226043
9	-2.1079392320486906e+78	-1.1455284182216988e+69	-1.2346915981851615e+76

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes67.0ms (2.3%)

Compiler: Compiled 42 to 60 computations (-42.9% saved)

bsearch20.0ms (0.7%)

Steps

Iters	Range		Point
5	9.265422369216808e+37	3.544675681449564e+38	2.279878240484341e+38
9	-2.1079392320486906e+78	-1.1455284182216988e+69	-1.1714857662411853e+69

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes70.0ms (2.4%)

Compiler: Compiled 22 to 40 computations (-81.8% saved)

bsearch19.0ms (0.6%)

Steps

Iters	Range		Point
5	9.265422369216808e+37	3.544675681449564e+38	9.5249596376614e+37
9	-2.1079392320486906e+78	-1.1455284182216988e+69	-2.7406453774234723e+71

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes60.0ms (2%)

Compiler: Compiled 12 to 30 computations (-150% saved)

bsearch21.0ms (0.7%)

Steps

Iters	Range		Point
8	4.324925380394195e-06	0.023951678011460076	0.023573285855887097
8	-621.3516607826381	-0.8154034068533512	-0.9932087216252541

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes18.0ms (0.6%)

Accuracy

Total 0.0b remaining (76.4%)

Threshold costs 0.0b (76.4%)

Compiler

Compiled 10 to 26 computations (-160% saved)

bsearch5.0ms (0.2%)

Compiler: Compiled 83 to 68 computations (18.1% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	74	117
1	74	117

end0.0ms (0%)

sample850.0ms (28.9%)

Algorithm

1×

intervals

Results

192.0ms	7997×	body	128	valid
0.0ms	2×	body	1024	valid
0.0ms	1×	body	512	valid

Compiler

Compiled 226 to 192 computations (15% saved)

Pareto

0.2600885268386186

Details

analyze37.0ms (1.3%)

sample17.0ms (0.6%)

simplify91.0ms (3.1%)

prune2.0ms (0.1%)

localize5.0ms (0.2%)

rewrite11.0ms (0.4%)

series88.0ms (3%)

simplify76.0ms (2.6%)

prune54.0ms (1.8%)

localize9.0ms (0.3%)

rewrite43.0ms (1.4%)

series285.0ms (9.7%)

simplify78.0ms (2.6%)

prune119.0ms (4%)

localize13.0ms (0.4%)

rewrite55.0ms (1.9%)

series389.0ms (13.2%)

simplify78.0ms (2.7%)

prune169.0ms (5.8%)

simplify5.0ms (0.2%)

regimes49.0ms (1.7%)

bsearch0.0ms (0%)

regimes98.0ms (3.3%)

bsearch38.0ms (1.3%)

regimes67.0ms (2.3%)

bsearch20.0ms (0.7%)

regimes70.0ms (2.4%)

bsearch19.0ms (0.6%)

regimes60.0ms (2%)

bsearch21.0ms (0.7%)

regimes18.0ms (0.6%)

bsearch5.0ms (0.2%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample850.0ms (28.9%)

Profiling