Details

analyze2.2s (11.7%)

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)

sample161.0ms (0.9%)

Algorithm

1×

intervals

Results

48.0ms	376×	body	128	nan
41.0ms	256×	body	128	valid

Compiler

Compiled 39 to 43 computations (-10.3% saved)

simplify197.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (186.0ms)

Iter	Nodes	Cost
0	5398	20

prune9.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)

localize30.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 (sqrt.f64 t) z)
1.0b	(.f64 1/3 (acos.f64 (.f64 x (/.f64 (/.f64 (sqrt.f64 t) z) (*.f64 y 18)))))
4.2b	(/.f64 (/.f64 (sqrt.f64 t) z) (*.f64 y 18))
5.3b	(.f64 x (/.f64 (/.f64 (sqrt.f64 t) z) (.f64 y 18)))

rewrite424.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

1.0b

Rules

116×	`times-frac_binary64_18498`
66×	`add-sqr-sqrt_binary64_18514`
62×	`add-cube-cbrt_binary64_18527` `*-un-lft-identity_binary64_18492`
39×	`sqrt-prod_binary64_18508`
38×	`add-exp-log_binary64_18530` `add-cbrt-cube_binary64_18528`
29×	`associate-r_binary64_18432`
28×	`associate-/l*_binary64_18437`
13×	`div-exp_binary64_18543` `cbrt-undiv_binary64_18526`
10×	`prod-exp_binary64_18541` `cbrt-unprod_binary64_18525`
8×	`pow1_binary64_18553`
6×	`associate-l_binary64_18433` `div-inv_binary64_18489`
4×	`add-log-exp_binary64_18531` `associate-/r*_binary64_18436`
2×	`pow-prod-down_binary64_18563` `unswap-sqr_binary64_18460` `*-commutative_binary64_18423` `frac-2neg_binary64_18503` `clear-num_binary64_18491`
1×	`associate-*r/_binary64_18434` `associate-/l/_binary64_18439`

Counts

4 → 171

Calls

4 calls:

31.0ms	(.f64 x (/.f64 (/.f64 (sqrt.f64 t) z) (.f64 y 18)))
18.0ms	(/.f64 (/.f64 (sqrt.f64 t) z) (*.f64 y 18))
9.0ms	(/.f64 (sqrt.f64 t) z)
7.0ms	(.f64 1/3 (acos.f64 (.f64 x (/.f64 (/.f64 (sqrt.f64 t) z) (*.f64 y 18)))))

Compiler

Compiled 3717 to 1780 computations (52.1% saved)

series1.0s (5.5%)

Error

1.0b

Counts

4 → 39

Calls

4 calls:

405.0ms	(.f64 x (/.f64 (/.f64 (sqrt.f64 t) z) (.f64 y 18)))
231.0ms	(/.f64 (/.f64 (sqrt.f64 t) z) (*.f64 y 18))
217.0ms	(.f64 1/3 (acos.f64 (.f64 x (/.f64 (/.f64 (sqrt.f64 t) z) (*.f64 y 18)))))
95.0ms	(/.f64 (sqrt.f64 t) z)

Compiler

Compiled 1674 to 1383 computations (17.4% saved)

simplify187.0ms (1%)

Algorithm

1×	egg-herbie

Counts

210 → 210

Iterations

Useful iterations: 0 (120.0ms)

Iter	Nodes	Cost
0	5004	3395

prune349.0ms (1.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	206	4	210
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	207	5	212

Error

1.0b

Counts

212 → 5

Compiler

Compiled 3932 to 1816 computations (53.8% saved)

localize26.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.0b	(.f64 1/3 (acos.f64 (log.f64 (exp.f64 (.f64 1/18 (.f64 (sqrt.f64 t) (/.f64 x (.f64 z y))))))))
2.5b	(.f64 (sqrt.f64 t) (/.f64 x (.f64 z y)))
4.4b	(log.f64 (exp.f64 (.f64 1/18 (.f64 (sqrt.f64 t) (/.f64 x (*.f64 z y))))))
5.5b	(/.f64 x (*.f64 z y))

rewrite219.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

1.0b

Rules

20×	`add-exp-log_binary64_18530` `add-cbrt-cube_binary64_18528`
19×	`add-sqr-sqrt_binary64_18514`
13×	`add-cube-cbrt_binary64_18527` `*-un-lft-identity_binary64_18492`
10×	`associate-r_binary64_18432`
9×	`pow1_binary64_18553` `associate-l_binary64_18433`
6×	`prod-exp_binary64_18541` `cbrt-unprod_binary64_18525` `times-frac_binary64_18498`
5×	`add-log-exp_binary64_18531`
4×	`div-exp_binary64_18543` `cbrt-undiv_binary64_18526` `sqrt-prod_binary64_18508`
3×	`associate-/l*_binary64_18437` `log-pow_binary64_18581` `log-prod_binary64_18578` `unswap-sqr_binary64_18460`
2×	`div-inv_binary64_18489` `pow-prod-down_binary64_18563` `*-commutative_binary64_18423`
1×	`frac-2neg_binary64_18503` `clear-num_binary64_18491` `associate-/r_binary64_18436` `exp-to-pow_binary64_18554` `exp-prod_binary64_18544` `rem-log-exp_binary64_18533` `associate-r/_binary64_18434`

Counts

4 → 84

Calls

4 calls:

18.0ms	(.f64 (sqrt.f64 t) (/.f64 x (.f64 z y)))
9.0ms	(/.f64 x (*.f64 z y))
7.0ms	(.f64 1/3 (acos.f64 (log.f64 (exp.f64 (.f64 1/18 (.f64 (sqrt.f64 t) (/.f64 x (.f64 z y))))))))
4.0ms	(log.f64 (exp.f64 (.f64 1/18 (.f64 (sqrt.f64 t) (/.f64 x (*.f64 z y))))))

Compiler

Compiled 1936 to 946 computations (51.1% saved)

series1.9s (10.1%)

Error

1.0b

Counts

4 → 45

Calls

4 calls:

951.0ms	(log.f64 (exp.f64 (.f64 1/18 (.f64 (sqrt.f64 t) (/.f64 x (*.f64 z y))))))
366.0ms	(.f64 (sqrt.f64 t) (/.f64 x (.f64 z y)))
269.0ms	(.f64 1/3 (acos.f64 (log.f64 (exp.f64 (.f64 1/18 (.f64 (sqrt.f64 t) (/.f64 x (.f64 z y))))))))
203.0ms	(/.f64 x (*.f64 z y))

Compiler

Compiled 2065 to 1692 computations (18.1% saved)

simplify140.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (91.0ms)

Iter	Nodes	Cost
0	5008	1956

prune216.0ms (1.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	128	1	129
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	129	5	134

Error

1.0b

Counts

134 → 5

Compiler

Compiled 2365 to 1142 computations (51.7% saved)

localize38.0ms (0.2%)

Local error

Found 4 expressions with local error:

2.5b	(.f64 (sqrt.f64 t) (/.f64 x (.f64 z y)))
4.4b	(log.f64 (exp.f64 (.f64 1/18 (.f64 (sqrt.f64 t) (/.f64 x (*.f64 z y))))))
5.5b	(/.f64 x (*.f64 z y))
5.5b	(/.f64 x (*.f64 z y))

rewrite269.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

1.0b

Rules

23×	`add-exp-log_binary64_18530` `add-cbrt-cube_binary64_18528`
17×	`add-sqr-sqrt_binary64_18514`
13×	`add-cube-cbrt_binary64_18527` `*-un-lft-identity_binary64_18492`
9×	`times-frac_binary64_18498`
7×	`pow1_binary64_18553` `associate-r_binary64_18432`
6×	`prod-exp_binary64_18541` `div-exp_binary64_18543` `cbrt-undiv_binary64_18526` `cbrt-unprod_binary64_18525` `associate-/l_binary64_18437` `associate-l*_binary64_18433`
5×	`add-log-exp_binary64_18531`
4×	`sqrt-prod_binary64_18508`
3×	`div-inv_binary64_18489` `log-pow_binary64_18581` `log-prod_binary64_18578`
2×	`frac-2neg_binary64_18503` `clear-num_binary64_18491` `associate-/r*_binary64_18436` `unswap-sqr_binary64_18460`
1×	`exp-to-pow_binary64_18554` `exp-prod_binary64_18544` `rem-log-exp_binary64_18533` `pow-prod-down_binary64_18563` `associate-r/_binary64_18434` `-commutative_binary64_18423`

Counts

4 → 87

Calls

4 calls:

15.0ms	(.f64 (sqrt.f64 t) (/.f64 x (.f64 z y)))
8.0ms	(/.f64 x (*.f64 z y))
8.0ms	(/.f64 x (*.f64 z y))
3.0ms	(log.f64 (exp.f64 (.f64 1/18 (.f64 (sqrt.f64 t) (/.f64 x (*.f64 z y))))))

Compiler

Compiled 3094 to 1398 computations (54.8% saved)

series1.9s (10.2%)

Error

1.0b

Counts

4 → 42

Calls

4 calls:

962.0ms	(log.f64 (exp.f64 (.f64 1/18 (.f64 (sqrt.f64 t) (/.f64 x (*.f64 z y))))))
350.0ms	(.f64 (sqrt.f64 t) (/.f64 x (.f64 z y)))
235.0ms	(/.f64 x (*.f64 z y))
223.0ms	(/.f64 x (*.f64 z y))

Compiler

Compiled 3694 to 2446 computations (33.8% saved)

simplify133.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (96.0ms)

Iter	Nodes	Cost
0	5034	1560

prune287.0ms (1.6%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	129	5	134

Error

1.0b

Counts

134 → 5

Compiler

Compiled 4130 to 1904 computations (53.9% saved)

localize23.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 1/18 (.f64 (sqrt.f64 t) (/.f64 x (*.f64 z y))))
1.0b	(cbrt.f64 (exp.f64 (acos.f64 (.f64 1/18 (.f64 (sqrt.f64 t) (/.f64 x (*.f64 z y)))))))
2.5b	(.f64 (sqrt.f64 t) (/.f64 x (.f64 z y)))
5.5b	(/.f64 x (*.f64 z y))

rewrite225.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

1.0b

Rules

32×	`add-exp-log_binary64_18530` `add-cbrt-cube_binary64_18528`
16×	`add-sqr-sqrt_binary64_18514`
13×	`prod-exp_binary64_18541` `cbrt-unprod_binary64_18525`
12×	`add-cube-cbrt_binary64_18527` `*-un-lft-identity_binary64_18492`
11×	`pow1_binary64_18553`
9×	`associate-l_binary64_18433`
8×	`associate-r_binary64_18432`
6×	`div-exp_binary64_18543` `cbrt-undiv_binary64_18526` `times-frac_binary64_18498`
4×	`add-log-exp_binary64_18531` `pow-prod-down_binary64_18563` `sqrt-prod_binary64_18508`
3×	`associate-/l_binary64_18437` `associate-r/_binary64_18434` `cbrt-prod_binary64_18523`
2×	`div-inv_binary64_18489` `unswap-sqr_binary64_18460` `*-commutative_binary64_18423`
1×	`frac-2neg_binary64_18503` `clear-num_binary64_18491` `associate-/r*_binary64_18436` `pow1/3_binary64_18574` `acos-asin_binary64_18673` `exp-diff_binary64_18540` `cbrt-div_binary64_18524`

Counts

4 → 87

Calls

4 calls:

17.0ms	(.f64 1/18 (.f64 (sqrt.f64 t) (/.f64 x (*.f64 z y))))
15.0ms	(.f64 (sqrt.f64 t) (/.f64 x (.f64 z y)))
8.0ms	(/.f64 x (*.f64 z y))
4.0ms	(cbrt.f64 (exp.f64 (acos.f64 (.f64 1/18 (.f64 (sqrt.f64 t) (/.f64 x (*.f64 z y)))))))

Compiler

Compiled 1891 to 845 computations (55.3% saved)

series2.0s (11.1%)

Error

1.0b

Counts

4 → 45

Calls

4 calls:

994.0ms	(cbrt.f64 (exp.f64 (acos.f64 (.f64 1/18 (.f64 (sqrt.f64 t) (/.f64 x (*.f64 z y)))))))
405.0ms	(.f64 1/18 (.f64 (sqrt.f64 t) (/.f64 x (*.f64 z y))))
365.0ms	(.f64 (sqrt.f64 t) (/.f64 x (.f64 z y)))
212.0ms	(/.f64 x (*.f64 z y))

Compiler

Compiled 2002 to 1629 computations (18.6% saved)

simplify86.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5440	1984

prune226.0ms (1.2%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	132	0	132
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	132	5	137

Error

1.0b

Counts

137 → 5

Compiler

Compiled 2258 to 1058 computations (53.1% saved)

regimes1.4s (7.7%)

Accuracy

Total 0.0b remaining (1.3%)

Threshold costs 0.0b (1.3%)

Compiler

Compiled 9383 to 7576 computations (19.3% saved)

bsearch0.0ms (0%)

simplify16.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	23	48
1	23	48

Remove

(sort y z)

Compiler

Compiled 58 to 38 computations (34.5% saved)

end0.0ms (0%)

sample4.8s (25.9%)

Algorithm

1×

intervals

Results

1.3s	10195×	body	128	nan
1.0s	8000×	body	128	valid

Compiler

Compiled 775 to 626 computations (19.2% saved)

Details

analyze2.2s (11.7%)

sample161.0ms (0.9%)

simplify197.0ms (1.1%)

prune9.0ms (0%)

localize30.0ms (0.2%)

rewrite424.0ms (2.3%)

series1.0s (5.5%)

simplify187.0ms (1%)

prune349.0ms (1.9%)

localize26.0ms (0.1%)

rewrite219.0ms (1.2%)

series1.9s (10.1%)

simplify140.0ms (0.8%)

prune216.0ms (1.2%)

localize38.0ms (0.2%)

rewrite269.0ms (1.5%)

series1.9s (10.2%)

simplify133.0ms (0.7%)

prune287.0ms (1.6%)

localize23.0ms (0.1%)

rewrite225.0ms (1.2%)

series2.0s (11.1%)

simplify86.0ms (0.5%)

prune226.0ms (1.2%)

regimes1.4s (7.7%)

bsearch0.0ms (0%)

simplify16.0ms (0.1%)

end0.0ms (0%)

sample4.8s (25.9%)

Profiling