Details

analyze1.4s (12%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5331	140
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
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
3.1%	71.7%	25.1%	9
4.7%	69.8%	25.5%	10
7%	66.9%	26.1%	11
10.9%	61.5%	27.6%	12
11.1%	47%	41.9%	13
12.8%	44.4%	42.8%	14

Symmetry

(sort y z)

Compiler

Compiled 20 to 20 computations (0% saved)

sample81.0ms (0.7%)

Algorithm

1×

intervals

Results

23.0ms	370×	body	128	nan
17.0ms	256×	body	128	valid

Compiler

Compiled 39 to 43 computations (-10.3% saved)

simplify117.0ms (1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (105.0ms)

Iter	Nodes	Cost
0	5398	20

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

1.1b

Counts

2 → 2

Compiler

Compiled 45 to 45 computations (0% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 3 (/.f64 x (.f64 y 27)))
1.0b	(.f64 (/.f64 1 3) (acos.f64 (.f64 (/.f64 (.f64 3 (/.f64 x (.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t))))
3.8b	(.f64 (/.f64 (.f64 3 (/.f64 x (.f64 y 27))) (.f64 z 2)) (sqrt.f64 t))
4.4b	(/.f64 (.f64 3 (/.f64 x (.f64 y 27))) (*.f64 z 2))

rewrite259.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

96×	`add-exp-log_binary64_18189`
92×	`add-cbrt-cube_binary64_18187`
41×	`prod-exp_binary64_18200`
39×	`cbrt-unprod_binary64_18184`
31×	`add-sqr-sqrt_binary64_18173`
28×	`div-exp_binary64_18202`
27×	`cbrt-undiv_binary64_18185`
21×	`associate-l_binary64_18092`
19×	`*-un-lft-identity_binary64_18151`
18×	`add-cube-cbrt_binary64_18186`
16×	`times-frac_binary64_18157` `associate-r_binary64_18091`
10×	`pow1_binary64_18212`
6×	`unswap-sqr_binary64_18119`
4×	`add-log-exp_binary64_18190` `div-inv_binary64_18148` `sqrt-prod_binary64_18167`
3×	`pow-prod-down_binary64_18222` `*-commutative_binary64_18082`
2×	`associate-r/_binary64_18093` `associate-l/_binary64_18094`
1×	`frac-2neg_binary64_18162` `clear-num_binary64_18150` `associate-/l/_binary64_18098` `associate-/l_binary64_18096` `associate-/r_binary64_18095` `1-exp_binary64_18195` `rec-exp_binary64_18201`

Counts

4 → 133

Calls

4 calls:

13.0ms	(.f64 (/.f64 (.f64 3 (/.f64 x (.f64 y 27))) (.f64 z 2)) (sqrt.f64 t))
9.0ms	(/.f64 (.f64 3 (/.f64 x (.f64 y 27))) (*.f64 z 2))
7.0ms	(.f64 3 (/.f64 x (.f64 y 27)))
7.0ms	(.f64 (/.f64 1 3) (acos.f64 (.f64 (/.f64 (.f64 3 (/.f64 x (.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t))))

Compiler

Compiled 4005 to 2933 computations (26.8% saved)

series565.0ms (4.9%)

Error

1.0b

Counts

4 → 39

Calls

4 calls:

225.0ms	(.f64 (/.f64 (.f64 3 (/.f64 x (.f64 y 27))) (.f64 z 2)) (sqrt.f64 t))
130.0ms	(.f64 (/.f64 1 3) (acos.f64 (.f64 (/.f64 (.f64 3 (/.f64 x (.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t))))
125.0ms	(/.f64 (.f64 3 (/.f64 x (.f64 y 27))) (*.f64 z 2))
57.0ms	(.f64 3 (/.f64 x (.f64 y 27)))

Compiler

Compiled 1760 to 1470 computations (16.5% saved)

simplify112.0ms (1%)

Algorithm

1×	egg-herbie

Counts

172 → 172

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	4935	3068
1	4935	3068

prune214.0ms (1.8%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	169	3	172
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	171	3	174

Error

0.0b

Counts

174 → 3

Compiler

Compiled 3594 to 2396 computations (33.3% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.0b	(.f64 (acos.f64 (.f64 (sqrt.f64 t) (/.f64 (.f64 1/9 (/.f64 x y)) (.f64 z 2)))) (/.f64 (cbrt.f64 1) (cbrt.f64 3)))
1.0b	(/.f64 (cbrt.f64 1) (cbrt.f64 3))
3.8b	(.f64 (sqrt.f64 t) (/.f64 (.f64 1/9 (/.f64 x y)) (*.f64 z 2)))
4.4b	(/.f64 (.f64 1/9 (/.f64 x y)) (.f64 z 2))

rewrite675.0ms (5.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

85×	`cbrt-prod_binary64_18182`
83×	`add-sqr-sqrt_binary64_18173`
80×	`times-frac_binary64_18157`
63×	`*-un-lft-identity_binary64_18151`
61×	`add-exp-log_binary64_18189` `add-cube-cbrt_binary64_18186`
57×	`add-cbrt-cube_binary64_18187`
45×	`associate-r_binary64_18091`
23×	`prod-exp_binary64_18200` `cbrt-unprod_binary64_18184`
18×	`div-exp_binary64_18202` `cbrt-undiv_binary64_18185`
9×	`unswap-sqr_binary64_18119` `associate-l_binary64_18092`
8×	`pow1_binary64_18212`
7×	`associate-/l_binary64_18096` `associate-/r_binary64_18095`
4×	`add-log-exp_binary64_18190` `div-inv_binary64_18148` `sqrt-prod_binary64_18167`
3×	`associate-*r/_binary64_18093`
2×	`frac-2neg_binary64_18162` `clear-num_binary64_18150` `pow-prod-down_binary64_18222` `*-commutative_binary64_18082`
1×	`associate-/l/_binary64_18098`

Counts

4 → 187

Calls

4 calls:

17.0ms	(.f64 (acos.f64 (.f64 (sqrt.f64 t) (/.f64 (.f64 1/9 (/.f64 x y)) (.f64 z 2)))) (/.f64 (cbrt.f64 1) (cbrt.f64 3)))
13.0ms	(.f64 (sqrt.f64 t) (/.f64 (.f64 1/9 (/.f64 x y)) (*.f64 z 2)))
8.0ms	(/.f64 (.f64 1/9 (/.f64 x y)) (.f64 z 2))
5.0ms	(/.f64 (cbrt.f64 1) (cbrt.f64 3))

Compiler

Compiled 7758 to 6253 computations (19.4% saved)

series690.0ms (6%)

Error

Counts

4 → 33

Calls

4 calls:

261.0ms	(.f64 (sqrt.f64 t) (/.f64 (.f64 1/9 (/.f64 x y)) (*.f64 z 2)))
232.0ms	(.f64 (acos.f64 (.f64 (sqrt.f64 t) (/.f64 (.f64 1/9 (/.f64 x y)) (.f64 z 2)))) (/.f64 (cbrt.f64 1) (cbrt.f64 3)))
146.0ms	(/.f64 (.f64 1/9 (/.f64 x y)) (.f64 z 2))
0.0ms	(/.f64 (cbrt.f64 1) (cbrt.f64 3))

Compiler

Compiled 2804 to 2549 computations (9.1% saved)

simplify109.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

220 → 220

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4913	4690
1	4913	4690

prune606.0ms (5.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	219	1	220
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	220	3	223

Error

Counts

223 → 3

Compiler

Compiled 7901 to 6159 computations (22% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(.f64 (/.f64 (.f64 (cbrt.f64 1) (cbrt.f64 1)) (.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (acos.f64 (.f64 1/18 (.f64 (/.f64 x (.f64 z y)) (sqrt.f64 t)))) (cbrt.f64 3)))
0.3b	(.f64 1/18 (.f64 (/.f64 x (*.f64 z y)) (sqrt.f64 t)))
3.8b	(.f64 (/.f64 x (.f64 z y)) (sqrt.f64 t))
5.3b	(/.f64 x (*.f64 z y))

rewrite359.0ms (3.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

73×	`add-exp-log_binary64_18189`
52×	`add-cbrt-cube_binary64_18187`
42×	`add-sqr-sqrt_binary64_18173`
32×	`times-frac_binary64_18157`
31×	`prod-exp_binary64_18200` `cbrt-unprod_binary64_18184`
29×	`associate-r_binary64_18091`
25×	`add-cube-cbrt_binary64_18186` `*-un-lft-identity_binary64_18151`
19×	`div-exp_binary64_18202` `cbrt-undiv_binary64_18185`
15×	`associate-l_binary64_18092`
13×	`pow1_binary64_18212`
11×	`cbrt-prod_binary64_18182`
8×	`unswap-sqr_binary64_18119`
5×	`pow-prod-down_binary64_18222`
4×	`add-log-exp_binary64_18190` `div-inv_binary64_18148` `sqrt-prod_binary64_18167`
3×	`associate-/l_binary64_18096` `associate-l/_binary64_18094` `*-commutative_binary64_18082`
2×	`associate-*r/_binary64_18093`
1×	`frac-2neg_binary64_18162` `clear-num_binary64_18150` `associate-/r*_binary64_18095` `frac-times_binary64_18161`

Counts

4 → 140

Calls

4 calls:

18.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 1) (cbrt.f64 1)) (.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (acos.f64 (.f64 1/18 (.f64 (/.f64 x (.f64 z y)) (sqrt.f64 t)))) (cbrt.f64 3)))
10.0ms	(.f64 1/18 (.f64 (/.f64 x (*.f64 z y)) (sqrt.f64 t)))
9.0ms	(.f64 (/.f64 x (.f64 z y)) (sqrt.f64 t))
5.0ms	(/.f64 x (*.f64 z y))

Compiler

Compiled 5383 to 3563 computations (33.8% saved)

series974.0ms (8.4%)

Error

Counts

4 → 45

Calls

4 calls:

342.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 1) (cbrt.f64 1)) (.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (acos.f64 (.f64 1/18 (.f64 (/.f64 x (.f64 z y)) (sqrt.f64 t)))) (cbrt.f64 3)))
244.0ms	(.f64 1/18 (.f64 (/.f64 x (*.f64 z y)) (sqrt.f64 t)))
213.0ms	(.f64 (/.f64 x (.f64 z y)) (sqrt.f64 t))
121.0ms	(/.f64 x (*.f64 z y))

Compiler

Compiled 3226 to 2854 computations (11.5% saved)

simplify102.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

185 → 185

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4937	4156
1	4937	4156

prune306.0ms (2.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	185	0	185
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	185	3	188

Error

Counts

188 → 3

Compiler

Compiled 5385 to 3558 computations (33.9% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

3.8b	(.f64 (sqrt.f64 t) (/.f64 (.f64 1/9 (/.f64 x y)) (*.f64 z 2)))
3.8b	(.f64 (sqrt.f64 t) (/.f64 (.f64 1/9 (/.f64 x y)) (*.f64 z 2)))
4.4b	(/.f64 (.f64 1/9 (/.f64 x y)) (.f64 z 2))
4.4b	(/.f64 (.f64 1/9 (/.f64 x y)) (.f64 z 2))

rewrite325.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

104×	`add-exp-log_binary64_18189` `add-cbrt-cube_binary64_18187`
42×	`prod-exp_binary64_18200` `cbrt-unprod_binary64_18184`
32×	`div-exp_binary64_18202` `cbrt-undiv_binary64_18185`
18×	`add-sqr-sqrt_binary64_18173`
12×	`associate-l_binary64_18092`
10×	`add-cube-cbrt_binary64_18186` `-un-lft-identity_binary64_18151` `associate-r*_binary64_18091`
8×	`pow1_binary64_18212` `sqrt-prod_binary64_18167`
4×	`add-log-exp_binary64_18190` `times-frac_binary64_18157` `div-inv_binary64_18148` `associate-*r/_binary64_18093` `unswap-sqr_binary64_18119`
2×	`frac-2neg_binary64_18162` `clear-num_binary64_18150` `associate-/l/_binary64_18098` `associate-/l_binary64_18096` `associate-/r_binary64_18095` `pow-prod-down_binary64_18222` `*-commutative_binary64_18082`

Counts

4 → 126

Calls

4 calls:

13.0ms	(.f64 (sqrt.f64 t) (/.f64 (.f64 1/9 (/.f64 x y)) (*.f64 z 2)))
12.0ms	(.f64 (sqrt.f64 t) (/.f64 (.f64 1/9 (/.f64 x y)) (*.f64 z 2)))
8.0ms	(/.f64 (.f64 1/9 (/.f64 x y)) (.f64 z 2))
8.0ms	(/.f64 (.f64 1/9 (/.f64 x y)) (.f64 z 2))

Compiler

Compiled 5678 to 3598 computations (36.6% saved)

series829.0ms (7.2%)

Error

Counts

4 → 42

Calls

4 calls:

242.0ms	(.f64 (sqrt.f64 t) (/.f64 (.f64 1/9 (/.f64 x y)) (*.f64 z 2)))
238.0ms	(.f64 (sqrt.f64 t) (/.f64 (.f64 1/9 (/.f64 x y)) (*.f64 z 2)))
147.0ms	(/.f64 (.f64 1/9 (/.f64 x y)) (.f64 z 2))
141.0ms	(/.f64 (.f64 1/9 (/.f64 x y)) (.f64 z 2))

Compiler

Compiled 4240 to 3250 computations (23.3% saved)

simplify74.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

168 → 168

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5298	2478

prune319.0ms (2.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	168	0	168
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	168	3	171

Error

Counts

171 → 3

Compiler

Compiled 6112 to 3733 computations (38.9% saved)

regimes744.0ms (6.4%)

Accuracy

Total 0.4b remaining (100%)

Threshold costs 0.4b (100%)

Compiler

Compiled 8499 to 8408 computations (1.1% saved)

bsearch0.0ms (0%)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	30	44
1	30	44

Remove

(sort y z)

Compiler

Compiled 56 to 56 computations (0% saved)

end0.0ms (0%)

sample2.6s (22.8%)

Algorithm

1×

intervals

Results

664.0ms	10431×	body	128	nan
540.0ms	8000×	body	128	valid

Compiler

Compiled 706 to 699 computations (1% saved)

Details

analyze1.4s (12%)

sample81.0ms (0.7%)

simplify117.0ms (1%)

prune5.0ms (0%)

localize14.0ms (0.1%)

rewrite259.0ms (2.2%)

series565.0ms (4.9%)

simplify112.0ms (1%)

prune214.0ms (1.8%)

localize19.0ms (0.2%)

rewrite675.0ms (5.8%)

series690.0ms (6%)

simplify109.0ms (0.9%)

prune606.0ms (5.2%)

localize17.0ms (0.1%)

rewrite359.0ms (3.1%)

series974.0ms (8.4%)

simplify102.0ms (0.9%)

prune306.0ms (2.6%)

localize18.0ms (0.2%)

rewrite325.0ms (2.8%)

series829.0ms (7.2%)

simplify74.0ms (0.6%)

prune319.0ms (2.8%)

regimes744.0ms (6.4%)

bsearch0.0ms (0%)

simplify10.0ms (0.1%)

end0.0ms (0%)

sample2.6s (22.8%)

Profiling