Details

analyze1.9s (12.1%)

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

Compiler

Compiled 20 to 20 computations (0% saved)

sample136.0ms (0.8%)

Algorithm

1×

intervals

Results

42.0ms	340×	body	128	nan
34.0ms	256×	body	128	valid

Compiler

Compiled 39 to 43 computations (-10.3% saved)

simplify170.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (160.0ms)

Iter	Nodes	Cost
0	5398	20

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

1.0b

Counts

2 → 2

Compiler

Compiled 45 to 45 computations (0% saved)

localize28.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.4b	(/.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.0b	(/.f64 (.f64 3 (/.f64 x (.f64 y 27))) (*.f64 z 2))
3.7b	(.f64 (/.f64 (.f64 3 (/.f64 x (.f64 y 27))) (.f64 z 2)) (sqrt.f64 t))

rewrite94.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

92×	`add-exp-log_binary64_18871`
88×	`add-cbrt-cube_binary64_18869`
38×	`prod-exp_binary64_18882`
36×	`cbrt-unprod_binary64_18866`
28×	`div-exp_binary64_18884` `add-sqr-sqrt_binary64_18855`
27×	`cbrt-undiv_binary64_18867`
18×	`-un-lft-identity_binary64_18833` `associate-l*_binary64_18774`
17×	`add-cube-cbrt_binary64_18868`
16×	`times-frac_binary64_18839`
9×	`associate-r_binary64_18773`
8×	`pow1_binary64_18894`
5×	`unswap-sqr_binary64_18801`
4×	`associate-/l*_binary64_18778` `div-inv_binary64_18830` `add-log-exp_binary64_18872` `sqrt-prod_binary64_18849`
2×	`pow-prod-down_binary64_18904` `associate-/r_binary64_18777` `-commutative_binary64_18764` `clear-num_binary64_18832` `frac-2neg_binary64_18844` `associate-*l/_binary64_18776`
1×	`associate-*r/_binary64_18775` `rec-exp_binary64_18883` `associate-/l/_binary64_18780` `1-exp_binary64_18877`

Counts

4 → 127

Calls

4 calls:

27.0ms	(.f64 (/.f64 (.f64 3 (/.f64 x (.f64 y 27))) (.f64 z 2)) (sqrt.f64 t))
18.0ms	(/.f64 (.f64 3 (/.f64 x (.f64 y 27))) (*.f64 z 2))
13.0ms	(.f64 (/.f64 1 3) (acos.f64 (.f64 (/.f64 (.f64 3 (/.f64 x (.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t))))
8.0ms	(/.f64 x (*.f64 y 27))

series1.0s (6.4%)

Counts

4 → 39

Calls

4 calls:

441.0ms	(.f64 (/.f64 (.f64 3 (/.f64 x (.f64 y 27))) (.f64 z 2)) (sqrt.f64 t))
235.0ms	(.f64 (/.f64 1 3) (acos.f64 (.f64 (/.f64 (.f64 3 (/.f64 x (.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t))))
234.0ms	(/.f64 (.f64 3 (/.f64 x (.f64 y 27))) (*.f64 z 2))
116.0ms	(/.f64 x (*.f64 y 27))

Compiler

Compiled 1212 to 1198 computations (1.2% saved)

simplify139.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

166 → 166

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	4941	2996
1	4941	2996

prune348.0ms (2.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	164	2	166
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	165	3	168

Error

0.0b

Counts

168 → 3

Compiler

Compiled 3455 to 2409 computations (30.3% saved)

localize40.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 3/2 (/.f64 (/.f64 x (.f64 y 27)) z))
0.4b	(/.f64 x (*.f64 y 27))
3.0b	(/.f64 (/.f64 x (*.f64 y 27)) z)
3.7b	(.f64 (.f64 3/2 (/.f64 (/.f64 x (*.f64 y 27)) z)) (sqrt.f64 t))

rewrite108.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

67×	`times-frac_binary64_18839`
52×	`add-cbrt-cube_binary64_18869` `add-exp-log_binary64_18871`
44×	`add-sqr-sqrt_binary64_18855`
39×	`*-un-lft-identity_binary64_18833` `add-cube-cbrt_binary64_18868`
31×	`associate-r_binary64_18773`
17×	`cbrt-unprod_binary64_18866` `prod-exp_binary64_18882` `cbrt-undiv_binary64_18867` `div-exp_binary64_18884`
11×	`pow1_binary64_18894`
10×	`associate-/l*_binary64_18778` `div-inv_binary64_18830`
4×	`pow-prod-down_binary64_18904` `associate-/r_binary64_18777` `add-log-exp_binary64_18872` `associate-l*_binary64_18774`
3×	`sqrt-prod_binary64_18849`
2×	`-commutative_binary64_18764` `associate-r/_binary64_18775` `clear-num_binary64_18832` `frac-2neg_binary64_18844` `unswap-sqr_binary64_18801`
1×	`associate-*l/_binary64_18776` `associate-/l/_binary64_18780`

Counts

4 → 145

Calls

4 calls:

27.0ms	(.f64 3/2 (/.f64 (/.f64 x (.f64 y 27)) z))
27.0ms	(.f64 (.f64 3/2 (/.f64 (/.f64 x (*.f64 y 27)) z)) (sqrt.f64 t))
14.0ms	(/.f64 (/.f64 x (*.f64 y 27)) z)
9.0ms	(/.f64 x (*.f64 y 27))

series1.0s (6.4%)

Counts

4 → 36

Calls

4 calls:

407.0ms	(.f64 (.f64 3/2 (/.f64 (/.f64 x (*.f64 y 27)) z)) (sqrt.f64 t))
248.0ms	(/.f64 (/.f64 x (*.f64 y 27)) z)
246.0ms	(.f64 3/2 (/.f64 (/.f64 x (.f64 y 27)) z))
113.0ms	(/.f64 x (*.f64 y 27))

Compiler

Compiled 1758 to 1744 computations (0.8% saved)

simplify131.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

181 → 181

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	5049	2545

prune564.0ms (3.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	180	1	181
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	181	3	184

Error

0.0b

Counts

184 → 3

Compiler

Compiled 5238 to 3902 computations (25.5% saved)

localize32.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 1/9 (/.f64 x y))
1.0b	(.f64 (/.f64 1 3) (acos.f64 (/.f64 (.f64 (.f64 1/9 (/.f64 x y)) (sqrt.f64 t)) (.f64 z 2))))
2.9b	(/.f64 (.f64 (.f64 1/9 (/.f64 x y)) (sqrt.f64 t)) (*.f64 z 2))
3.5b	(.f64 (.f64 1/9 (/.f64 x y)) (sqrt.f64 t))

rewrite86.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

59×	`add-exp-log_binary64_18871`
55×	`add-cbrt-cube_binary64_18869`
34×	`add-sqr-sqrt_binary64_18855`
25×	`prod-exp_binary64_18882`
23×	`*-un-lft-identity_binary64_18833` `cbrt-unprod_binary64_18866`
22×	`associate-r_binary64_18773` `add-cube-cbrt_binary64_18868` `times-frac_binary64_18839`
17×	`associate-l_binary64_18774`
14×	`div-exp_binary64_18884`
13×	`pow1_binary64_18894` `cbrt-undiv_binary64_18867`
5×	`pow-prod-down_binary64_18904` `unswap-sqr_binary64_18801`
4×	`add-log-exp_binary64_18872`
3×	`-commutative_binary64_18764` `div-inv_binary64_18830` `associate-r/_binary64_18775` `sqrt-prod_binary64_18849` `associate-*l/_binary64_18776`
1×	`associate-/r_binary64_18777` `associate-/l_binary64_18778` `clear-num_binary64_18832` `frac-2neg_binary64_18844` `rec-exp_binary64_18883` `associate-/l/_binary64_18780` `1-exp_binary64_18877`

Counts

4 → 121

Calls

4 calls:

21.0ms	(/.f64 (.f64 (.f64 1/9 (/.f64 x y)) (sqrt.f64 t)) (*.f64 z 2))
16.0ms	(.f64 (.f64 1/9 (/.f64 x y)) (sqrt.f64 t))
14.0ms	(*.f64 1/9 (/.f64 x y))
14.0ms	(.f64 (/.f64 1 3) (acos.f64 (/.f64 (.f64 (.f64 1/9 (/.f64 x y)) (sqrt.f64 t)) (.f64 z 2))))

series1.0s (6.5%)

Counts

4 → 39

Calls

4 calls:

433.0ms	(/.f64 (.f64 (.f64 1/9 (/.f64 x y)) (sqrt.f64 t)) (*.f64 z 2))
269.0ms	(.f64 (.f64 1/9 (/.f64 x y)) (sqrt.f64 t))
217.0ms	(.f64 (/.f64 1 3) (acos.f64 (/.f64 (.f64 (.f64 1/9 (/.f64 x y)) (sqrt.f64 t)) (.f64 z 2))))
113.0ms	(*.f64 1/9 (/.f64 x y))

Compiler

Compiled 1260 to 1238 computations (1.7% saved)

simplify141.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

160 → 160

Iterations

Useful iterations: 0 (78.0ms)

Iter	Nodes	Cost
0	5172	2565

prune320.0ms (2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	159	1	160
Fresh	1	0	1
Picked	0	1	1
Done	1	0	1
Total	161	2	163

Error

0.0b

Counts

163 → 2

Compiler

Compiled 3114 to 1896 computations (39.1% saved)

localize33.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite103.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

58×	`add-sqr-sqrt_binary64_18855`
53×	`add-exp-log_binary64_18871`
47×	`times-frac_binary64_18839`
46×	`add-cbrt-cube_binary64_18869`
30×	`*-un-lft-identity_binary64_18833`
27×	`add-cube-cbrt_binary64_18868`
26×	`associate-r_binary64_18773`
23×	`associate-l_binary64_18774`
21×	`cbrt-unprod_binary64_18866` `prod-exp_binary64_18882`
13×	`cbrt-prod_binary64_18864` `pow1_binary64_18894` `cbrt-undiv_binary64_18867` `unswap-sqr_binary64_18801` `div-exp_binary64_18884`
12×	`sqrt-prod_binary64_18849`
5×	`pow-prod-down_binary64_18904`
4×	`div-inv_binary64_18830` `add-log-exp_binary64_18872`
3×	`-commutative_binary64_18764` `associate-/l_binary64_18778` `associate-*l/_binary64_18776`
2×	`associate-*r/_binary64_18775`
1×	`associate-/r*_binary64_18777` `clear-num_binary64_18832` `frac-2neg_binary64_18844` `frac-times_binary64_18843`

Counts

4 → 142

Calls

4 calls:

30.0ms	(.f64 (/.f64 (sqrt.f64 1) (.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (acos.f64 (.f64 (sqrt.f64 t) (.f64 (/.f64 x (*.f64 y z)) 1/18))) (cbrt.f64 3)))
23.0ms	(.f64 (sqrt.f64 t) (.f64 (/.f64 x (*.f64 y z)) 1/18))
13.0ms	(.f64 (/.f64 x (.f64 y z)) 1/18)
9.0ms	(/.f64 x (*.f64 y z))

series1.5s (9.3%)

Counts

4 → 42

Calls

4 calls:

565.0ms	(.f64 (/.f64 (sqrt.f64 1) (.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (acos.f64 (.f64 (sqrt.f64 t) (.f64 (/.f64 x (*.f64 y z)) 1/18))) (cbrt.f64 3)))
459.0ms	(.f64 (sqrt.f64 t) (.f64 (/.f64 x (*.f64 y z)) 1/18))
234.0ms	(.f64 (/.f64 x (.f64 y z)) 1/18)
226.0ms	(/.f64 x (*.f64 y z))

Compiler

Compiled 1806 to 1792 computations (0.8% saved)

simplify186.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

184 → 184

Iterations

Useful iterations: 0 (113.0ms)

Iter	Nodes	Cost
0	4935	3939
1	4935	3939

prune464.0ms (2.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

0.0b

Counts

186 → 2

Compiler

Compiled 4891 to 3246 computations (33.6% saved)

regimes976.0ms (6.1%)

Accuracy

Total 0.3b remaining (99.6%)

Threshold costs 0.3b (99.6%)

Compiler

Compiled 4904 to 4897 computations (0.1% saved)

bsearch0.0ms (0%)

simplify19.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	24	35
1	24	35

Compiler

Compiled 44 to 44 computations (0% saved)

end0.0ms (0%)

sample5.4s (33.5%)

Algorithm

1×

intervals

Results

1.3s	10157×	body	128	nan
1.1s	8000×	body	128	valid

Compiler

Compiled 390 to 389 computations (0.3% saved)

Details

analyze1.9s (12.1%)

sample136.0ms (0.8%)

simplify170.0ms (1.1%)

prune8.0ms (0.1%)

localize28.0ms (0.2%)

rewrite94.0ms (0.6%)

series1.0s (6.4%)

simplify139.0ms (0.9%)

prune348.0ms (2.2%)

localize40.0ms (0.2%)

rewrite108.0ms (0.7%)

series1.0s (6.4%)

simplify131.0ms (0.8%)

prune564.0ms (3.5%)

localize32.0ms (0.2%)

rewrite86.0ms (0.5%)

series1.0s (6.5%)

simplify141.0ms (0.9%)

prune320.0ms (2%)

localize33.0ms (0.2%)

rewrite103.0ms (0.6%)

series1.5s (9.3%)

simplify186.0ms (1.2%)

prune464.0ms (2.9%)

regimes976.0ms (6.1%)

bsearch0.0ms (0%)

simplify19.0ms (0.1%)

end0.0ms (0%)

sample5.4s (33.5%)

Profiling