Details

analyze1.0s (19%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1579	112
1	1579	112
0	4	4
1	4	4

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
12.5%	87.3%	0.2%	7
18.7%	81.1%	0.2%	8
46.8%	53%	0.2%	9
47.6%	52.2%	0.2%	10
48.3%	51.5%	0.2%	11
54.2%	45.6%	0.2%	12
67.6%	32.2%	0.2%	13
68.2%	31.6%	0.2%	14

Symmetry

(sort y z)

Compiler

Compiled 14 to 14 computations (0% saved)

sample42.0ms (0.8%)

Algorithm

1×

intervals

Results

12.0ms	256×	body	128	valid
2.0ms	47×	body	128	invalid

Compiler

Compiled 27 to 31 computations (-14.8% saved)

simplify24.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (19.0ms)

Iter	Nodes	Cost
0	417	16
1	417	16

prune6.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Error

0.0b

Counts

2 → 1

Compiler

Compiled 22 to 22 computations (0% saved)

localize11.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

rewrite100.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

14×	`cancel-sign-sub-inv_binary64_17776`
11×	`*-un-lft-identity_binary64_17810`
10×	`add-log-exp_binary64_17849`
9×	`add-cube-cbrt_binary64_17845` `add-sqr-sqrt_binary64_17832` `times-frac_binary64_17816`
8×	`add-exp-log_binary64_17848` `add-cbrt-cube_binary64_17846` `associate-+l+_binary64_17743`
3×	`pow1_binary64_17871` `div-inv_binary64_17807` `associate-/r*_binary64_17754`
2×	`diff-log_binary64_17902` `sub-neg_binary64_17803` `sum-log_binary64_17901` `div-exp_binary64_17861` `cbrt-undiv_binary64_17844`
1×	`flip3--_binary64_17814` `flip--_binary64_17785` `flip3-+_binary64_17813` `flip-+_binary64_17784` `distribute-lft-out_binary64_17761` `associate-+l-_binary64_17745` `+-commutative_binary64_17740` `prod-exp_binary64_17859` `cbrt-unprod_binary64_17843` `frac-2neg_binary64_17821` `clear-num_binary64_17809` `associate-/l*_binary64_17755`

Counts

3 → 61

Calls

3 calls:

8.0ms	(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)
6.0ms	(-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))
4.0ms	(/.f64 (*.f64 y z) 2)

Compiler

Compiled 1144 to 719 computations (37.2% saved)

series519.0ms (9.8%)

Error

0.0b

Counts

3 → 48

Calls

3 calls:

253.0ms	(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)
173.0ms	(-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))
61.0ms	(/.f64 (*.f64 y z) 2)

Compiler

Compiled 1109 to 962 computations (13.3% saved)

simplify100.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	4931	1345
1	4931	1345

prune91.0ms (1.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	108	1	109
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	108	2	110

Error

0.0b

Counts

110 → 2

Compiler

Compiled 1380 to 819 computations (40.7% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite249.0ms (4.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

25×	`cbrt-prod_binary64_17841`
23×	`add-sqr-sqrt_binary64_17832`
18×	`cbrt-div_binary64_17842`
15×	`add-cube-cbrt_binary64_17845` `*-un-lft-identity_binary64_17810`
11×	`pow1_binary64_17871`
9×	`pow1/3_binary64_17892` `flip3-+_binary64_17813` `flip-+_binary64_17784`
6×	`add-exp-log_binary64_17848` `swap-sqr_binary64_17777` `associate-l_binary64_17751` `associate-r_binary64_17750`
4×	`add-log-exp_binary64_17849` `add-cbrt-cube_binary64_17846` `frac-times_binary64_17820` `unswap-sqr_binary64_17778`
2×	`pow-prod-down_binary64_17881` `pow-prod-up_binary64_17880` `pow-sqr_binary64_17783` `associate-l/_binary64_17753` `associate-r/_binary64_17752`
1×	`pow2_binary64_17891` `pow-plus_binary64_17873` `prod-exp_binary64_17859` `cbrt-unprod_binary64_17843` `*-commutative_binary64_17741`

Counts

4 → 87

Calls

4 calls:

15.0ms	(.f64 (cbrt.f64 (+.f64 (.f64 -1/2 (.f64 z y)) (.f64 1/8 x))) (cbrt.f64 (+.f64 (.f64 -1/2 (.f64 z y)) (*.f64 1/8 x))))
5.0ms	(cbrt.f64 (+.f64 (.f64 -1/2 (.f64 z y)) (*.f64 1/8 x)))
5.0ms	(cbrt.f64 (+.f64 (.f64 -1/2 (.f64 z y)) (*.f64 1/8 x)))
5.0ms	(cbrt.f64 (+.f64 (.f64 -1/2 (.f64 z y)) (*.f64 1/8 x)))

Compiler

Compiled 4298 to 2752 computations (36% saved)

series1.2s (22.7%)

Error

0.0b

Counts

4 → 62

Calls

4 calls:

303.0ms	(.f64 (cbrt.f64 (+.f64 (.f64 -1/2 (.f64 z y)) (.f64 1/8 x))) (cbrt.f64 (+.f64 (.f64 -1/2 (.f64 z y)) (*.f64 1/8 x))))
268.0ms	(cbrt.f64 (+.f64 (.f64 -1/2 (.f64 z y)) (*.f64 1/8 x)))
260.0ms	(cbrt.f64 (+.f64 (.f64 -1/2 (.f64 z y)) (*.f64 1/8 x)))
227.0ms	(cbrt.f64 (+.f64 (.f64 -1/2 (.f64 z y)) (*.f64 1/8 x)))

Compiler

Compiled 7405 to 5850 computations (21% saved)

simplify97.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

149 → 149

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5079	4095

prune373.0ms (7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	149	0	149
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	149	2	151

Error

0.0b

Counts

151 → 2

Compiler

Compiled 6055 to 3898 computations (35.6% saved)

regimes322.0ms (6.1%)

Accuracy

Total 0.0b remaining (89.1%)

Threshold costs 0.0b (89.1%)

Compiler

Compiled 2152 to 2110 computations (2% saved)

bsearch0.0ms (0%)

simplify15.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	48	16
1	48	16

Remove

(sort y z)

Compiler

Compiled 22 to 22 computations (0% saved)

end0.0ms (0%)

sample1.1s (21.4%)

Algorithm

1×

intervals

Results

362.0ms	7996×	body	128	valid
51.0ms	1108×	body	128	invalid
0.0ms	3×	body	1024	valid
0.0ms	1×	body	4096	valid

Compiler

Compiled 258 to 251 computations (2.7% saved)

Details

analyze1.0s (19%)

sample42.0ms (0.8%)

simplify24.0ms (0.5%)

prune6.0ms (0.1%)

localize11.0ms (0.2%)

rewrite100.0ms (1.9%)

series519.0ms (9.8%)

simplify100.0ms (1.9%)

prune91.0ms (1.7%)

localize12.0ms (0.2%)

rewrite249.0ms (4.7%)

series1.2s (22.7%)

simplify97.0ms (1.8%)

prune373.0ms (7%)

regimes322.0ms (6.1%)

bsearch0.0ms (0%)

simplify15.0ms (0.3%)

end0.0ms (0%)

sample1.1s (21.4%)

Profiling