Details

analyze901.0ms (14.1%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	72
1	20	72
0	3	3
1	3	3

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
18.7%	81.1%	0.1%	8
28.1%	71.8%	0.1%	9
42.1%	57.7%	0.1%	10
49.1%	50.7%	0.1%	11
57.3%	42.5%	0.1%	12
66.9%	33%	0.1%	13
71.7%	28.2%	0.1%	14

Symmetry

(sort x y z)

Compiler

Compiled 13 to 10 computations (23.1% saved)

sample54.0ms (0.8%)

Algorithm

1×

intervals

Results

20.0ms

256×

body

128

valid

Compiler

Compiled 25 to 22 computations (12% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	20	18
1	20	18

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

38.2b

Counts

2 → 1

Compiler

Compiled 24 to 18 computations (25% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))
35.5b	(sqrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z)))

rewrite42.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

38.2b

Rules

7×	`add-log-exp_binary64_18531`
4×	`add-sqr-sqrt_binary64_18514`
3×	`pow1_binary64_18553` `add-cube-cbrt_binary64_18527` `sqrt-prod_binary64_18508` `*-un-lft-identity_binary64_18492` `sum-log_binary64_18583`
2×	`add-exp-log_binary64_18530` `add-cbrt-cube_binary64_18528` `flip3-+_binary64_18495` `sqrt-div_binary64_18509` `flip-+_binary64_18466`
1×	`pow1/2_binary64_18572` `sqrt-pow1_binary64_18510` `rem-sqrt-square_binary64_18505` `associate-+l+_binary64_18425` `+-commutative_binary64_18422`

Counts

2 → 28

Calls

2 calls:

7.0ms	(+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))
6.0ms	(sqrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z)))

Compiler

Compiled 677 to 102 computations (84.9% saved)

series542.0ms (8.5%)

Error

0.9b

Counts

2 → 37

Calls

2 calls:

255.0ms	(sqrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z)))
234.0ms	(+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))

Compiler

Compiled 1629 to 1419 computations (12.9% saved)

simplify72.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

65 → 65

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5001	1480

prune72.0ms (1.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	62	3	65
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	62	4	66

Error

0.9b

Counts

66 → 4

Compiler

Compiled 1178 to 302 computations (74.4% saved)

localize2.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

0.9b

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error: 0.9b
Counts: 0 → 0
Compiler: Compiled 0 to 0 computations (0% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

prune3.0ms (0%)

Pruning

4 alts after pruning (2 fresh and 2 done)

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

Error

0.9b

Counts

4 → 4

Compiler

Compiled 28 to 14 computations (50% saved)

localize1.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

0.9b

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error: 0.9b
Counts: 0 → 0
Compiler: Compiled 0 to 0 computations (0% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

prune2.0ms (0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

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

Error

0.9b

Counts

4 → 4

Compiler

Compiled 27 to 11 computations (59.3% saved)

localize24.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (sqrt.f64 (+.f64 (.f64 z z) (+.f64 (.f64 y y) (*.f64 x x)))))
0.5b	(.f64 (sqrt.f64 (sqrt.f64 (+.f64 (.f64 z z) (+.f64 (.f64 y y) (.f64 x x))))) (sqrt.f64 (sqrt.f64 (+.f64 (.f64 z z) (+.f64 (.f64 y y) (*.f64 x x))))))
35.5b	(sqrt.f64 (+.f64 (.f64 z z) (+.f64 (.f64 y y) (*.f64 x x))))
35.5b	(sqrt.f64 (+.f64 (.f64 z z) (+.f64 (.f64 y y) (*.f64 x x))))

rewrite235.0ms (3.7%)

Algorithm

1×	rewrite-expression-head

Error

0.9b

Rules

86×	`sqrt-prod_binary64_18508`
62×	`add-sqr-sqrt_binary64_18514`
38×	`sqrt-pow1_binary64_18510`
32×	`sqrt-div_binary64_18509`
31×	`pow1_binary64_18553`
20×	`pow1/2_binary64_18572` `add-cube-cbrt_binary64_18527` `*-un-lft-identity_binary64_18492`
15×	`swap-sqr_binary64_18459`
12×	`rem-sqrt-square_binary64_18505`
9×	`flip3-+_binary64_18495` `flip-+_binary64_18466` `pow-prod-up_binary64_18562` `unswap-sqr_binary64_18460` `associate-l_binary64_18433` `associate-r_binary64_18432`
6×	`add-exp-log_binary64_18530` `add-cbrt-cube_binary64_18528`
5×	`pow-prod-down_binary64_18563` `pow-sqr_binary64_18465`
4×	`add-log-exp_binary64_18531` `sqr-abs_binary64_18507` `frac-times_binary64_18502`
2×	`associate-l/_binary64_18435` `associate-r/_binary64_18434`
1×	`pow2_binary64_18573` `pow-plus_binary64_18555` `prod-exp_binary64_18541` `cbrt-unprod_binary64_18525` `sqrt-unprod_binary64_18512` `rem-square-sqrt_binary64_18504` `*-commutative_binary64_18423`

Counts

4 → 138

Calls

4 calls:

25.0ms	(.f64 (sqrt.f64 (sqrt.f64 (+.f64 (.f64 z z) (+.f64 (.f64 y y) (.f64 x x))))) (sqrt.f64 (sqrt.f64 (+.f64 (.f64 z z) (+.f64 (.f64 y y) (*.f64 x x))))))
12.0ms	(sqrt.f64 (+.f64 (.f64 z z) (+.f64 (.f64 y y) (*.f64 x x))))
10.0ms	(sqrt.f64 (sqrt.f64 (+.f64 (.f64 z z) (+.f64 (.f64 y y) (*.f64 x x)))))
7.0ms	(sqrt.f64 (+.f64 (.f64 z z) (+.f64 (.f64 y y) (*.f64 x x))))

Compiler

Compiled 5920 to 468 computations (92.1% saved)

series1.3s (20%)

Error

0.9b

Counts

4 → 73

Calls

4 calls:

351.0ms	(sqrt.f64 (sqrt.f64 (+.f64 (.f64 z z) (+.f64 (.f64 y y) (*.f64 x x)))))
267.0ms	(sqrt.f64 (+.f64 (.f64 z z) (+.f64 (.f64 y y) (*.f64 x x))))
265.0ms	(.f64 (sqrt.f64 (sqrt.f64 (+.f64 (.f64 z z) (+.f64 (.f64 y y) (.f64 x x))))) (sqrt.f64 (sqrt.f64 (+.f64 (.f64 z z) (+.f64 (.f64 y y) (*.f64 x x))))))
241.0ms	(sqrt.f64 (+.f64 (.f64 z z) (+.f64 (.f64 y y) (*.f64 x x))))

Compiler

Compiled 6889 to 4968 computations (27.9% saved)

simplify128.0ms (2%)

Algorithm

1×	egg-herbie

Counts

211 → 211

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4977	5987
1	4977	5987

prune433.0ms (6.8%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	211	0	211
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	211	4	215

Error

0.9b

Counts

215 → 4

Compiler

Compiled 6588 to 1185 computations (82% saved)

regimes786.0ms (12.3%)

Accuracy

Total 10.7b remaining (95.5%)

Threshold costs 0b (0%)

Compiler

Compiled 3821 to 2601 computations (31.9% saved)

bsearch107.0ms (1.7%)

Steps

Iters	Range		Point
7	1.706978350540527e+140	1.5545830097785987e+142	5.672285693809099e+140
8	5.2130903077545905e+51	2.052579210411766e+56	5.302561758271932e+51
6	9.683940182961375e+30	7.44513213506171e+31	7.352417871382931e+31
8	1.2579502170311414e-60	2.459628359353353e-57	1.284493305231087e-60

Compiler

Compiled 1 to 3 computations (-200% saved)

simplify17.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	33	67
1	33	67

Compiler

Compiled 90 to 44 computations (51.1% saved)

end0.0ms (0%)

sample1.7s (25.9%)

Algorithm

1×

intervals

Results

382.0ms

8000×

body

128

valid

Compiler

Compiled 404 to 276 computations (31.7% saved)

Details

analyze901.0ms (14.1%)

sample54.0ms (0.8%)

simplify7.0ms (0.1%)

prune2.0ms (0%)

localize8.0ms (0.1%)

rewrite42.0ms (0.7%)

series542.0ms (8.5%)

simplify72.0ms (1.1%)

prune72.0ms (1.1%)

localize2.0ms (0%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify7.0ms (0.1%)

prune3.0ms (0%)

localize1.0ms (0%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify8.0ms (0.1%)

prune2.0ms (0%)

localize24.0ms (0.4%)

rewrite235.0ms (3.7%)

series1.3s (20%)

simplify128.0ms (2%)

prune433.0ms (6.8%)

regimes786.0ms (12.3%)

bsearch107.0ms (1.7%)

simplify17.0ms (0.3%)

end0.0ms (0%)

sample1.7s (25.9%)

Profiling