Details

analyze1.4s (8.4%)

Algorithm

2×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4978	76
1	4978	76
0	3	3
1	3	3

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
0%	99.9%	0.1%	6
0%	99.9%	0.1%	7
0%	99.9%	0.1%	7
0%	99.9%	0.1%	8
0%	99.9%	0.1%	8
12.5%	85.8%	1.7%	9
12.5%	85.8%	1.7%	9
16.4%	79.2%	4.4%	10
16.4%	79.2%	4.4%	10
20.7%	72.4%	7%	11
20.7%	72.4%	7%	11
32.6%	53.3%	14.1%	12
32.6%	53.3%	14.1%	12
36%	45.5%	18.5%	13
36%	45.5%	18.5%	13
38.3%	41.1%	20.6%	14
38.3%	41.1%	20.6%	14

Compiler

Compiled 32 to 24 computations (25% saved)

sample1.5s (9%)

Algorithm

2×

intervals

Results

20.0ms	512×	body	128	valid
19.0ms	365×	body	128	invalid

Compiler

Compiled 7167 to 6716 computations (6.3% saved)

simplify78.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	4898	19
1	4898	19

prune5.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

14.8b

Counts

2 → 2

Compiler

Compiled 41 to 31 computations (24.4% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (/.f64 (-.f64 (.f64 z z) (.f64 x x)) y) y)
0.2b	(.f64 -1/2 (-.f64 (/.f64 (-.f64 (.f64 z z) (*.f64 x x)) y) y))
1.2b	(-.f64 (.f64 z z) (.f64 x x))
14.3b	(/.f64 (-.f64 (.f64 z z) (.f64 x x)) y)

rewrite157.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.3b

Rules

30×	`add-sqr-sqrt_binary64_16809`
22×	`*-un-lft-identity_binary64_16787`
18×	`add-cube-cbrt_binary64_16822`
14×	`times-frac_binary64_16793`
10×	`cancel-sign-sub-inv_binary64_16753`
9×	`difference-of-squares_binary64_16756`
8×	`add-exp-log_binary64_16825` `add-log-exp_binary64_16826` `add-cbrt-cube_binary64_16823`
6×	`pow1_binary64_16848` `associate-r_binary64_16727`
4×	`flip3--_binary64_16791` `flip--_binary64_16762` `associate-/l*_binary64_16732` `sub-neg_binary64_16780` `distribute-rgt-in_binary64_16737` `distribute-lft-in_binary64_16736`
3×	`associate-/r_binary64_16731` `associate-l*_binary64_16728`
2×	`div-sub_binary64_16792` `associate-/l/_binary64_16734` `diff-log_binary64_16879` `associate-*r/_binary64_16729` `distribute-lft-out--_binary64_16739`
1×	`div-exp_binary64_16838` `cbrt-undiv_binary64_16821` `frac-2neg_binary64_16798` `clear-num_binary64_16786` `div-inv_binary64_16784` `pow-prod-down_binary64_16858` `prod-exp_binary64_16836` `cbrt-unprod_binary64_16820` `unswap-sqr_binary64_16755` `*-commutative_binary64_16718` `associate--l-_binary64_16725`

Counts

4 → 96

Calls

4 calls:

13.0ms	(.f64 -1/2 (-.f64 (/.f64 (-.f64 (.f64 z z) (*.f64 x x)) y) y))
10.0ms	(-.f64 (/.f64 (-.f64 (.f64 z z) (.f64 x x)) y) y)
9.0ms	(/.f64 (-.f64 (.f64 z z) (.f64 x x)) y)
4.0ms	(-.f64 (.f64 z z) (.f64 x x))

Compiler

Compiled 2218 to 557 computations (74.9% saved)

series1.4s (8%)

Error

8.7b

Counts

4 → 63

Calls

4 calls:

458.0ms	(.f64 -1/2 (-.f64 (/.f64 (-.f64 (.f64 z z) (*.f64 x x)) y) y))
398.0ms	(-.f64 (/.f64 (-.f64 (.f64 z z) (.f64 x x)) y) y)
305.0ms	(/.f64 (-.f64 (.f64 z z) (.f64 x x)) y)
136.0ms	(-.f64 (.f64 z z) (.f64 x x))

Compiler

Compiled 2057 to 1732 computations (15.8% saved)

simplify80.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

159 → 159

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4943	2672
1	4943	2672

prune156.0ms (0.9%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	152	7	159
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	154	7	161

Error

0.3b

Counts

161 → 7

Compiler

Compiled 2782 to 738 computations (73.5% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite192.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

50×	`add-sqr-sqrt_binary64_16809`
45×	`*-un-lft-identity_binary64_16787`
31×	`times-frac_binary64_16793`
29×	`add-cube-cbrt_binary64_16822`
22×	`associate-l_binary64_16728`
13×	`add-exp-log_binary64_16825` `add-cbrt-cube_binary64_16823`
10×	`distribute-rgt-in_binary64_16737` `distribute-lft-in_binary64_16736`
9×	`cancel-sign-sub-inv_binary64_16753`
8×	`pow1_binary64_16848`
7×	`difference-of-squares_binary64_16756` `distribute-lft-out--_binary64_16739` `associate-r_binary64_16727`
6×	`add-log-exp_binary64_16826` `associate--l+_binary64_16724`
5×	`associate-/l*_binary64_16732`
4×	`associate-*r/_binary64_16729`
3×	`prod-exp_binary64_16836` `cbrt-unprod_binary64_16820` `unswap-sqr_binary64_16755` `sub-neg_binary64_16780` `flip3--_binary64_16791` `flip--_binary64_16762` `associate-/r*_binary64_16731`
2×	`pow-prod-down_binary64_16858` `div-exp_binary64_16838` `cbrt-undiv_binary64_16821` `flip3-+_binary64_16790` `frac-times_binary64_16797` `flip-+_binary64_16761` `div-inv_binary64_16784` `*-commutative_binary64_16718` `associate-/l/_binary64_16734`
1×	`associate-*l/_binary64_16730` `distribute-lft-out_binary64_16738` `frac-2neg_binary64_16798` `div-sub_binary64_16792` `clear-num_binary64_16786` `diff-log_binary64_16879`

Counts

4 → 131

Calls

4 calls:

14.0ms	(.f64 -1/2 (-.f64 (.f64 (/.f64 (-.f64 z x) y) (+.f64 x z)) y))
12.0ms	(*.f64 (/.f64 (-.f64 z x) y) (+.f64 x z))
11.0ms	(-.f64 (*.f64 (/.f64 (-.f64 z x) y) (+.f64 x z)) y)
6.0ms	(/.f64 (-.f64 z x) y)

Compiler

Compiled 2902 to 813 computations (72% saved)

series1.4s (8.4%)

Error

0.3b

Counts

4 → 66

Calls

4 calls:

483.0ms	(.f64 -1/2 (-.f64 (.f64 (/.f64 (-.f64 z x) y) (+.f64 x z)) y))
370.0ms	(-.f64 (*.f64 (/.f64 (-.f64 z x) y) (+.f64 x z)) y)
331.0ms	(*.f64 (/.f64 (-.f64 z x) y) (+.f64 x z))
170.0ms	(/.f64 (-.f64 z x) y)

Compiler

Compiled 2240 to 1740 computations (22.3% saved)

simplify59.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

197 → 197

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	4998	3097
1	4998	3097

prune181.0ms (1.1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	196	1	197
Fresh	1	5	6
Picked	0	1	1
Done	0	0	0
Total	197	7	204

Error

0.2b

Counts

204 → 7

Compiler

Compiled 3516 to 988 computations (71.9% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite343.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

180×	`times-frac_binary64_16793`
172×	`*-un-lft-identity_binary64_16787`
144×	`add-sqr-sqrt_binary64_16809`
86×	`add-cube-cbrt_binary64_16822`
26×	`associate-/r*_binary64_16731`
25×	`difference-of-squares_binary64_16756`
22×	`distribute-lft-out_binary64_16738`
21×	`distribute-lft-out--_binary64_16739`
13×	`add-exp-log_binary64_16825` `add-cbrt-cube_binary64_16823` `associate-/r/_binary64_16733`
9×	`cancel-sign-sub-inv_binary64_16753`
8×	`flip3--_binary64_16791` `flip--_binary64_16762`
7×	`div-inv_binary64_16784` `associate-/l_binary64_16732` `associate-r*_binary64_16727`
6×	`pow1_binary64_16848` `add-log-exp_binary64_16826`
4×	`div-exp_binary64_16838` `cbrt-undiv_binary64_16821` `distribute-rgt-in_binary64_16737` `distribute-lft-in_binary64_16736`
3×	`sub-neg_binary64_16780` `associate-l_binary64_16728`
2×	`frac-2neg_binary64_16798` `clear-num_binary64_16786` `associate-/l/_binary64_16734` `associate-*r/_binary64_16729`
1×	`flip3-+_binary64_16790` `flip-+_binary64_16761` `pow-prod-down_binary64_16858` `prod-exp_binary64_16836` `cbrt-unprod_binary64_16820` `unswap-sqr_binary64_16755` `*-commutative_binary64_16718` `diff-log_binary64_16879`

Counts

4 → 213

Calls

4 calls:

40.0ms	(-.f64 (/.f64 (+.f64 z x) (/.f64 y (-.f64 z x))) y)
36.0ms	(*.f64 -1/2 (-.f64 (/.f64 (+.f64 z x) (/.f64 y (-.f64 z x))) y))
12.0ms	(/.f64 (+.f64 z x) (/.f64 y (-.f64 z x)))
5.0ms	(/.f64 y (-.f64 z x))

Compiler

Compiled 5249 to 1420 computations (72.9% saved)

series1.4s (8.3%)

Error

0.2b

Counts

4 → 66

Calls

4 calls:

505.0ms	(*.f64 -1/2 (-.f64 (/.f64 (+.f64 z x) (/.f64 y (-.f64 z x))) y))
386.0ms	(-.f64 (/.f64 (+.f64 z x) (/.f64 y (-.f64 z x))) y)
305.0ms	(/.f64 (+.f64 z x) (/.f64 y (-.f64 z x)))
146.0ms	(/.f64 y (-.f64 z x))

Compiler

Compiled 2375 to 1853 computations (22% saved)

simplify84.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

279 → 279

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5419	5803

prune259.0ms (1.5%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	278	1	279
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	279	7	286

Error

0.0b

Counts

286 → 7

Compiler

Compiled 5699 to 1425 computations (75% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (.f64 -1/2 (-.f64 (.f64 (/.f64 (-.f64 z x) y) (+.f64 x z)) y))) (cbrt.f64 (.f64 -1/2 (-.f64 (*.f64 (/.f64 (-.f64 z x) y) (+.f64 x z)) y))))
0.6b	(cbrt.f64 (.f64 -1/2 (-.f64 (.f64 (/.f64 (-.f64 z x) y) (+.f64 x z)) y)))
0.6b	(cbrt.f64 (.f64 -1/2 (-.f64 (.f64 (/.f64 (-.f64 z x) y) (+.f64 x z)) y)))
0.6b	(cbrt.f64 (.f64 -1/2 (-.f64 (.f64 (/.f64 (-.f64 z x) y) (+.f64 x z)) y)))

rewrite216.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

20×	`associate-*r/_binary64_16729`
18×	`cbrt-div_binary64_16819`
11×	`pow1_binary64_16848`
10×	`add-sqr-sqrt_binary64_16809`
9×	`pow1/3_binary64_16869` `flip3--_binary64_16791` `flip--_binary64_16762`
8×	`add-cube-cbrt_binary64_16822` `*-un-lft-identity_binary64_16787`
7×	`cbrt-prod_binary64_16818`
6×	`add-exp-log_binary64_16825`
4×	`add-log-exp_binary64_16826` `add-cbrt-cube_binary64_16823` `frac-times_binary64_16797` `swap-sqr_binary64_16754` `associate-l_binary64_16728` `associate-r_binary64_16727`
2×	`pow-prod-down_binary64_16858` `pow-prod-up_binary64_16857` `pow-sqr_binary64_16760` `associate-*l/_binary64_16730`
1×	`pow2_binary64_16868` `pow-plus_binary64_16850` `prod-exp_binary64_16836` `cbrt-unprod_binary64_16820` `unswap-sqr_binary64_16755` `*-commutative_binary64_16718`

Counts

4 → 72

Calls

4 calls:

12.0ms	(cbrt.f64 (.f64 -1/2 (-.f64 (.f64 (/.f64 (-.f64 z x) y) (+.f64 x z)) y)))
12.0ms	(cbrt.f64 (.f64 -1/2 (-.f64 (.f64 (/.f64 (-.f64 z x) y) (+.f64 x z)) y)))
12.0ms	(cbrt.f64 (.f64 -1/2 (-.f64 (.f64 (/.f64 (-.f64 z x) y) (+.f64 x z)) y)))
10.0ms	(.f64 (cbrt.f64 (.f64 -1/2 (-.f64 (.f64 (/.f64 (-.f64 z x) y) (+.f64 x z)) y))) (cbrt.f64 (.f64 -1/2 (-.f64 (*.f64 (/.f64 (-.f64 z x) y) (+.f64 x z)) y))))

Compiler

Compiled 4379 to 1120 computations (74.4% saved)

series4.9s (29%)

Error

0.0b

Counts

4 → 65

Calls

4 calls:

1.9s	(.f64 (cbrt.f64 (.f64 -1/2 (-.f64 (.f64 (/.f64 (-.f64 z x) y) (+.f64 x z)) y))) (cbrt.f64 (.f64 -1/2 (-.f64 (*.f64 (/.f64 (-.f64 z x) y) (+.f64 x z)) y))))
935.0ms	(cbrt.f64 (.f64 -1/2 (-.f64 (.f64 (/.f64 (-.f64 z x) y) (+.f64 x z)) y)))
924.0ms	(cbrt.f64 (.f64 -1/2 (-.f64 (.f64 (/.f64 (-.f64 z x) y) (+.f64 x z)) y)))
912.0ms	(cbrt.f64 (.f64 -1/2 (-.f64 (.f64 (/.f64 (-.f64 z x) y) (+.f64 x z)) y)))

Compiler

Compiled 13832 to 10105 computations (26.9% saved)

simplify98.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5072	5834

prune332.0ms (2%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	137	0	137
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	137	7	144

Error

0.0b

Counts

144 → 7

Compiler

Compiled 7634 to 2705 computations (64.6% saved)

regimes725.0ms (4.3%)

Accuracy

Total 0.1b remaining (84.8%)

Threshold costs 0.1b (84.8%)

Compiler

Compiled 7235 to 4657 computations (35.6% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	32	19
1	32	19

end0.0ms (0%)

sample1.8s (10.9%)

Algorithm

1×

intervals

Results

327.0ms	8000×	body	128	valid
244.0ms	5727×	body	128	invalid

Compiler

Compiled 1090 to 709 computations (35% saved)

Details

analyze1.4s (8.4%)

sample1.5s (9%)

simplify78.0ms (0.5%)

prune5.0ms (0%)

localize9.0ms (0.1%)

rewrite157.0ms (0.9%)

series1.4s (8%)

simplify80.0ms (0.5%)

prune156.0ms (0.9%)

localize9.0ms (0.1%)

rewrite192.0ms (1.1%)

series1.4s (8.4%)

simplify59.0ms (0.3%)

prune181.0ms (1.1%)

localize9.0ms (0.1%)

rewrite343.0ms (2%)

series1.4s (8.3%)

simplify84.0ms (0.5%)

prune259.0ms (1.5%)

localize15.0ms (0.1%)

rewrite216.0ms (1.3%)

series4.9s (29%)

simplify98.0ms (0.6%)

prune332.0ms (2%)

regimes725.0ms (4.3%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample1.8s (10.9%)

Profiling