Details

analyze2.2s (13.9%)

Algorithm

2×	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%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	8
3.1%	71.7%	25.1%	9
3.1%	71.7%	25.1%	9
4.7%	69.8%	25.5%	10
4.7%	69.8%	25.5%	10
7%	66.9%	26.1%	11
7%	66.9%	26.1%	11
10.9%	61.5%	27.6%	12
10.9%	61.5%	27.6%	12
11.1%	47%	41.9%	13
11.1%	47%	41.9%	13
12.8%	44.4%	42.8%	14
12.8%	44.4%	42.8%	14

Symmetry

(sort y z)

Compiler

Compiled 40 to 40 computations (0% saved)

sample6.9s (43%)

Algorithm

2×

intervals

Results

130.0ms	1625×	body	128	nan
36.0ms	512×	body	128	valid

Compiler

Compiled 20619 to 24739 computations (-20% saved)

simplify101.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (96.0ms)

Iter	Nodes	Cost
0	5398	20

prune8.0ms (0%)

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

1.0b

Counts

2 → 1

Compiler

Compiled 26 to 26 computations (0% saved)

localize11.0ms (0.1%)

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)))))
3.3b	(/.f64 (/.f64 (sqrt.f64 t) z) (*.f64 y 18))
4.1b	(.f64 x (/.f64 (/.f64 (sqrt.f64 t) z) (.f64 y 18)))

rewrite241.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

1.0b

Rules

116×	`times-frac_binary64_19521`
66×	`add-sqr-sqrt_binary64_19537`
62×	`add-cube-cbrt_binary64_19550` `*-un-lft-identity_binary64_19515`
39×	`sqrt-prod_binary64_19531`
38×	`add-exp-log_binary64_19553` `add-cbrt-cube_binary64_19551`
29×	`associate-r_binary64_19455`
28×	`associate-/l*_binary64_19460`
13×	`div-exp_binary64_19566` `cbrt-undiv_binary64_19549`
10×	`prod-exp_binary64_19564` `cbrt-unprod_binary64_19548`
8×	`pow1_binary64_19576`
6×	`associate-l_binary64_19456` `div-inv_binary64_19512`
4×	`add-log-exp_binary64_19554` `associate-/r*_binary64_19459`
2×	`pow-prod-down_binary64_19586` `unswap-sqr_binary64_19483` `*-commutative_binary64_19446` `frac-2neg_binary64_19526` `clear-num_binary64_19514`
1×	`associate-*r/_binary64_19457` `associate-/l/_binary64_19462`

Counts

4 → 171

Calls

4 calls:

15.0ms	(.f64 x (/.f64 (/.f64 (sqrt.f64 t) z) (.f64 y 18)))
9.0ms	(/.f64 (/.f64 (sqrt.f64 t) z) (*.f64 y 18))
4.0ms	(/.f64 (sqrt.f64 t) z)
3.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)

series817.0ms (5.1%)

Error

1.0b

Counts

4 → 39

Calls

4 calls:

342.0ms	(.f64 x (/.f64 (/.f64 (sqrt.f64 t) z) (.f64 y 18)))
187.0ms	(/.f64 (/.f64 (sqrt.f64 t) z) (*.f64 y 18))
173.0ms	(.f64 1/3 (acos.f64 (.f64 x (/.f64 (/.f64 (sqrt.f64 t) z) (*.f64 y 18)))))
84.0ms	(/.f64 (sqrt.f64 t) z)

Compiler

Compiled 1674 to 1383 computations (17.4% saved)

simplify100.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

210 → 210

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	5004	3395

prune212.0ms (1.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	209	1	210
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	209	2	211

Error

1.0b

Counts

211 → 2

Compiler

Compiled 3845 to 1753 computations (54.4% saved)

localize15.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.2b	(.f64 (sqrt.f64 t) (/.f64 x (.f64 z y)))
3.6b	(log.f64 (exp.f64 (.f64 1/18 (.f64 (sqrt.f64 t) (/.f64 x (*.f64 z y))))))
5.1b	(/.f64 x (*.f64 z y))

rewrite130.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

1.0b

Rules

20×	`add-exp-log_binary64_19553` `add-cbrt-cube_binary64_19551`
19×	`add-sqr-sqrt_binary64_19537`
13×	`add-cube-cbrt_binary64_19550` `*-un-lft-identity_binary64_19515`
10×	`associate-r_binary64_19455`
9×	`pow1_binary64_19576` `associate-l_binary64_19456`
6×	`prod-exp_binary64_19564` `cbrt-unprod_binary64_19548` `times-frac_binary64_19521`
5×	`add-log-exp_binary64_19554`
4×	`div-exp_binary64_19566` `cbrt-undiv_binary64_19549` `sqrt-prod_binary64_19531`
3×	`associate-/l*_binary64_19460` `log-pow_binary64_19604` `log-prod_binary64_19601` `unswap-sqr_binary64_19483`
2×	`div-inv_binary64_19512` `pow-prod-down_binary64_19586` `*-commutative_binary64_19446`
1×	`frac-2neg_binary64_19526` `clear-num_binary64_19514` `associate-/r_binary64_19459` `exp-to-pow_binary64_19577` `exp-prod_binary64_19567` `rem-log-exp_binary64_19556` `associate-r/_binary64_19457`

Counts

4 → 84

Calls

4 calls:

9.0ms	(.f64 (sqrt.f64 t) (/.f64 x (.f64 z y)))
5.0ms	(/.f64 x (*.f64 z y))
3.0ms	(.f64 1/3 (acos.f64 (log.f64 (exp.f64 (.f64 1/18 (.f64 (sqrt.f64 t) (/.f64 x (.f64 z y))))))))
2.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.5s (9.5%)

Error

1.0b

Counts

4 → 45

Calls

4 calls:

789.0ms	(log.f64 (exp.f64 (.f64 1/18 (.f64 (sqrt.f64 t) (/.f64 x (*.f64 z y))))))
308.0ms	(.f64 (sqrt.f64 t) (/.f64 x (.f64 z y)))
232.0ms	(.f64 1/3 (acos.f64 (log.f64 (exp.f64 (.f64 1/18 (.f64 (sqrt.f64 t) (/.f64 x (.f64 z y))))))))
170.0ms	(/.f64 x (*.f64 z y))

Compiler

Compiled 2065 to 1692 computations (18.1% saved)

simplify67.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5008	1956

prune136.0ms (0.8%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

1.0b

Counts

131 → 2

Compiler

Compiled 2293 to 1085 computations (52.7% saved)

regimes173.0ms (1.1%)

Accuracy

Total 0.3b remaining (24.8%)

Threshold costs 0.3b (24.8%)

Compiler

Compiled 972 to 1024 computations (-5.3% saved)

bsearch0.0ms (0%)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	25	26
1	25	26

Remove

(sort y z)

Compiler

Compiled 34 to 34 computations (0% saved)

end0.0ms (0%)

sample3.4s (21%)

Algorithm

1×

intervals

Results

1.5s	23553×	body	128	nan
548.0ms	8000×	body	128	valid

Compiler

Compiled 116 to 120 computations (-3.4% saved)

Details

analyze2.2s (13.9%)

sample6.9s (43%)

simplify101.0ms (0.6%)

prune8.0ms (0%)

localize11.0ms (0.1%)

rewrite241.0ms (1.5%)

series817.0ms (5.1%)

simplify100.0ms (0.6%)

prune212.0ms (1.3%)

localize15.0ms (0.1%)

rewrite130.0ms (0.8%)

series1.5s (9.5%)

simplify67.0ms (0.4%)

prune136.0ms (0.8%)

regimes173.0ms (1.1%)

bsearch0.0ms (0%)

simplify9.0ms (0.1%)

end0.0ms (0%)

sample3.4s (21%)

Profiling