Details

analyze322.0ms (7.8%)

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
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
6.2%	93.6%	0.1%	6
15.6%	84.3%	0.1%	7
23.4%	76.5%	0.1%	8
33.5%	63.2%	3.3%	9
43.3%	49.5%	7.2%	10
48.2%	43.9%	7.9%	11
54.5%	34.2%	11.3%	12
60.6%	25.6%	13.8%	13
63.1%	22.8%	14.1%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample16.0ms (0.4%)

Algorithm

1×

intervals

Results

7.0ms	256×	body	128	valid
0.0ms	15×	body	128	invalid

Compiler

Compiled 19 to 20 computations (-5.3% saved)

simplify113.0ms (2.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (14.0ms)

Iter	Nodes	Cost
0	301	10
1	301	10

prune4.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 → 2

Compiler

Compiled 23 to 20 computations (13% saved)

localize5.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite15.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`cancel-sign-sub-inv_binary64_15688` `add-sqr-sqrt_binary64_15744`
10×	`*-un-lft-identity_binary64_15722`
8×	`distribute-lft-in_binary64_15671` `distribute-rgt-in_binary64_15672` `associate-+r+_binary64_15654` `add-cube-cbrt_binary64_15757`
5×	`associate-r_binary64_15662`
4×	`add-log-exp_binary64_15761` `add-cbrt-cube_binary64_15758` `sub-neg_binary64_15715` `add-exp-log_binary64_15760` `pow1_binary64_15783`
3×	`associate-l_binary64_15663`
2×	`associate-*r/_binary64_15664`
1×	`prod-exp_binary64_15771` `difference-of-squares_binary64_15691` `sum-log_binary64_15813` `flip-+_binary64_15696` `flip3--_binary64_15726` `flip--_binary64_15697` `unswap-sqr_binary64_15690` `flip3-+_binary64_15725` `distribute-lft-out--_binary64_15674` `*-commutative_binary64_15653` `+-commutative_binary64_15652` `pow-prod-down_binary64_15793` `cbrt-unprod_binary64_15755`

Counts

2 → 49

Calls

4 calls:

7.0ms	(*.f64 y (-.f64 x z))
4.0ms	(+.f64 z (*.f64 y (-.f64 x z)))
0.0ms	(*.f64 y (-.f64 x z))
0.0ms	(+.f64 z (*.f64 y (-.f64 x z)))

series227.0ms (5.5%)

Counts

2 → 33

Calls

2 calls:

130.0ms	(+.f64 z (*.f64 y (-.f64 x z)))
96.0ms	(*.f64 y (-.f64 x z))

Compiler

Compiled 387 to 328 computations (15.2% saved)

simplify83.0ms (2%)

Algorithm

1×	egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4909	764
1	4909	764

prune49.0ms (1.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	80	2	82
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	80	4	84

Error

0.0b

Counts

84 → 4

Compiler

Compiled 833 to 177 computations (78.8% saved)

localize7.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite17.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-sqr-sqrt_binary64_15744`
12×	`cancel-sign-sub-inv_binary64_15688`
11×	`*-un-lft-identity_binary64_15722`
8×	`distribute-lft-in_binary64_15671` `distribute-rgt-in_binary64_15672` `associate-+r+_binary64_15654` `add-cube-cbrt_binary64_15757`
6×	`associate-r_binary64_15662`
4×	`add-log-exp_binary64_15761` `add-cbrt-cube_binary64_15758` `sub-neg_binary64_15715` `add-exp-log_binary64_15760` `pow1_binary64_15783`
3×	`associate-l_binary64_15663`
2×	`difference-of-squares_binary64_15691` `associate-*r/_binary64_15664`
1×	`prod-exp_binary64_15771` `sum-log_binary64_15813` `flip-+_binary64_15696` `flip3--_binary64_15726` `flip--_binary64_15697` `unswap-sqr_binary64_15690` `flip3-+_binary64_15725` `distribute-lft-out--_binary64_15674` `*-commutative_binary64_15653` `+-commutative_binary64_15652` `pow-prod-down_binary64_15793` `cbrt-unprod_binary64_15755`

Counts

2 → 50

Calls

4 calls:

8.0ms	(*.f64 z (-.f64 1 y))
5.0ms	(+.f64 (.f64 x y) (.f64 z (-.f64 1 y)))
0.0ms	(+.f64 (.f64 x y) (.f64 z (-.f64 1 y)))
0.0ms	(*.f64 z (-.f64 1 y))

series186.0ms (4.5%)

Counts

2 → 27

Calls

2 calls:

128.0ms	(+.f64 (.f64 x y) (.f64 z (-.f64 1 y)))
58.0ms	(*.f64 z (-.f64 1 y))

Compiler

Compiled 332 to 283 computations (14.8% saved)

simplify82.0ms (2%)

Algorithm

1×	egg-herbie

Counts

77 → 77

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	5326	712

prune44.0ms (1.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	77	0	77
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	77	4	81

Error

0.0b

Counts

81 → 4

Compiler

Compiled 869 to 315 computations (63.8% saved)

localize10.0ms (0.2%)

Local error

Found 8 expressions with local error:

17.8b	(/.f64 (.f64 y (-.f64 (.f64 x x) (*.f64 z z))) (+.f64 x z))
8.5b	(.f64 y (-.f64 (.f64 x x) (*.f64 z z)))
1.8b	(-.f64 (.f64 x x) (.f64 z z))
0.0b	(+.f64 z (/.f64 (.f64 y (-.f64 (.f64 x x) (*.f64 z z))) (+.f64 x z)))
0.0b	(+.f64 z (/.f64 (.f64 y (-.f64 (.f64 x x) (*.f64 z z))) (+.f64 x z)))
1.8b	(-.f64 (.f64 x x) (.f64 z z))
8.5b	(.f64 y (-.f64 (.f64 x x) (*.f64 z z)))
17.8b	(/.f64 (.f64 y (-.f64 (.f64 x x) (*.f64 z z))) (+.f64 x z))

rewrite38.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`*-un-lft-identity_binary64_15722`
11×	`add-cbrt-cube_binary64_15758` `add-exp-log_binary64_15760`
10×	`add-sqr-sqrt_binary64_15744`
8×	`add-log-exp_binary64_15761` `add-cube-cbrt_binary64_15757`
6×	`pow1_binary64_15783`
4×	`associate-r_binary64_15662` `times-frac_binary64_15728` `associate-/r_binary64_15666` `associate-r/_binary64_15664`
3×	`distribute-lft-out_binary64_15673` `sub-neg_binary64_15715` `flip3--_binary64_15726` `cancel-sign-sub-inv_binary64_15688` `flip--_binary64_15697` `associate-l_binary64_15663`
2×	`prod-exp_binary64_15771` `difference-of-squares_binary64_15691` `flip-+_binary64_15696` `distribute-lft-in_binary64_15671` `associate-/r/_binary64_15668` `associate-/l/_binary64_15669` `cbrt-undiv_binary64_15756` `flip3-+_binary64_15725` `div-exp_binary64_15773` `distribute-rgt-in_binary64_15672` `cbrt-unprod_binary64_15755`
1×	`clear-num_binary64_15721` `frac-2neg_binary64_15733` `sum-log_binary64_15813` `diff-log_binary64_15814` `unswap-sqr_binary64_15690` `-commutative_binary64_15653` `div-inv_binary64_15719` `+-commutative_binary64_15652` `pow-prod-down_binary64_15793` `associate-/l_binary64_15667`

Counts

4 → 77

Calls

8 calls:

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

series878.0ms (21.3%)

Counts

4 → 60

Calls

4 calls:

375.0ms	(+.f64 z (/.f64 (.f64 y (-.f64 (.f64 x x) (*.f64 z z))) (+.f64 x z)))
235.0ms	(/.f64 (.f64 y (-.f64 (.f64 x x) (*.f64 z z))) (+.f64 x z))
174.0ms	(.f64 y (-.f64 (.f64 x x) (*.f64 z z)))
93.0ms	(-.f64 (.f64 x x) (.f64 z z))

Compiler

Compiled 1149 to 912 computations (20.6% saved)

simplify72.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4988	1669
1	4988	1669

prune87.0ms (2.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	135	2	137
Fresh	1	0	1
Picked	1	0	1
Done	1	1	2
Total	138	3	141

Error

Counts

141 → 3

Compiler

Compiled 2020 to 352 computations (82.6% saved)

localize7.0ms (0.2%)

Local error

Found 6 expressions with local error:

0.2b	(/.f64 y (/.f64 1 (-.f64 x z)))
0.0b	(+.f64 z (/.f64 y (/.f64 1 (-.f64 x z))))
0.0b	(/.f64 1 (-.f64 x z))
0.0b	(/.f64 1 (-.f64 x z))
0.0b	(+.f64 z (/.f64 y (/.f64 1 (-.f64 x z))))
0.2b	(/.f64 y (/.f64 1 (-.f64 x z)))

rewrite57.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Rules

138×	`times-frac_binary64_15728`
105×	`*-un-lft-identity_binary64_15722`
103×	`add-sqr-sqrt_binary64_15744`
71×	`add-cube-cbrt_binary64_15757`
26×	`associate-/r*_binary64_15666`
16×	`difference-of-squares_binary64_15691` `add-exp-log_binary64_15760` `distribute-lft-out--_binary64_15674`
11×	`associate-/r/_binary64_15668`
10×	`add-cbrt-cube_binary64_15758`
8×	`div-exp_binary64_15773`
6×	`div-inv_binary64_15719` `associate-/l*_binary64_15667`
5×	`add-log-exp_binary64_15761` `flip3--_binary64_15726` `flip--_binary64_15697`
4×	`cbrt-undiv_binary64_15756` `pow1_binary64_15783`
2×	`clear-num_binary64_15721` `frac-2neg_binary64_15733` `1-exp_binary64_15766` `rec-exp_binary64_15772`
1×	`sum-log_binary64_15813` `distribute-lft-out_binary64_15673` `flip-+_binary64_15696` `flip3-+_binary64_15725` `inv-pow_binary64_15807` `+-commutative_binary64_15652` `pow-flip_binary64_15796`

Counts

3 → 157

Calls

6 calls:

22.0ms	(+.f64 z (/.f64 y (/.f64 1 (-.f64 x z))))
10.0ms	(/.f64 y (/.f64 1 (-.f64 x z)))
6.0ms	(/.f64 1 (-.f64 x z))
0.0ms	(/.f64 1 (-.f64 x z))
0.0ms	(+.f64 z (/.f64 y (/.f64 1 (-.f64 x z))))

series293.0ms (7.1%)

Counts

3 → 54

Calls

3 calls:

124.0ms	(+.f64 z (/.f64 y (/.f64 1 (-.f64 x z))))
95.0ms	(/.f64 y (/.f64 1 (-.f64 x z)))
74.0ms	(/.f64 1 (-.f64 x z))

Compiler

Compiled 816 to 685 computations (16.1% saved)

simplify81.0ms (2%)

Algorithm

1×	egg-herbie

Counts

211 → 211

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4984	3260
1	4984	3260

prune141.0ms (3.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	211	0	211
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	211	3	214

Error

Counts

214 → 3

Compiler

Compiled 3045 to 1051 computations (65.5% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	95	172
1	95	172

regimes70.0ms (1.7%)

Accuracy

Total 0.0b remaining (87%)

Threshold costs 0.0b (87%)

Compiler

Compiled 369 to 351 computations (4.9% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	10
1	19	10

end0.0ms (0%)

sample1.2s (29.3%)

Algorithm

1×

intervals

Results

244.0ms	8000×	body	128	valid
20.0ms	694×	body	128	invalid

Compiler

Compiled 380 to 351 computations (7.6% saved)

Pareto

-0.06404223812867199

Details

analyze322.0ms (7.8%)

sample16.0ms (0.4%)

simplify113.0ms (2.7%)

prune4.0ms (0.1%)

localize5.0ms (0.1%)

rewrite15.0ms (0.4%)

series227.0ms (5.5%)

simplify83.0ms (2%)

prune49.0ms (1.2%)

localize7.0ms (0.2%)

rewrite17.0ms (0.4%)

series186.0ms (4.5%)

simplify82.0ms (2%)

prune44.0ms (1.1%)

localize10.0ms (0.2%)

rewrite38.0ms (0.9%)

series878.0ms (21.3%)

simplify72.0ms (1.7%)

prune87.0ms (2.1%)

localize7.0ms (0.2%)

rewrite57.0ms (1.4%)

series293.0ms (7.1%)

simplify81.0ms (2%)

prune141.0ms (3.4%)

simplify5.0ms (0.1%)

regimes70.0ms (1.7%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample1.2s (29.3%)

Profiling