Details

analyze1.3s (15.4%)

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)

sample53.0ms (0.6%)

Algorithm

1×

intervals

Results

17.0ms

256×

body

128

valid

Compiler

Compiled 25 to 22 computations (12% saved)

simplify13.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	20	18
1	20	18

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

39.1b

Counts

2 → 1

Compiler

Compiled 24 to 18 computations (25% saved)

localize16.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

rewrite102.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

39.1b

Rules

10×	`add-log-exp_binary64_17167`
5×	`add-sqr-sqrt_binary64_17150`
4×	`pow1_binary64_17189` `add-cube-cbrt_binary64_17163` `*-un-lft-identity_binary64_17128` `sum-log_binary64_17219`
3×	`add-exp-log_binary64_17166` `add-cbrt-cube_binary64_17164` `flip3-+_binary64_17131` `flip-+_binary64_17102` `sqrt-prod_binary64_17144`
2×	`sqrt-div_binary64_17145` `+-commutative_binary64_17058`
1×	`pow1/2_binary64_17208` `sqrt-pow1_binary64_17146` `rem-sqrt-square_binary64_17141` `associate-+l+_binary64_17061`

Counts

3 → 39

Calls

3 calls:

14.0ms	(+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))
11.0ms	(sqrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z)))
8.0ms	(+.f64 (.f64 x x) (.f64 y y))

Compiler

Compiled 910 to 154 computations (83.1% saved)

series849.0ms (10.3%)

Error

0.0b

Counts

3 → 46

Calls

3 calls:

342.0ms	(+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))
289.0ms	(sqrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z)))
138.0ms	(+.f64 (.f64 x x) (.f64 y y))

Compiler

Compiled 1577 to 1365 computations (13.4% saved)

simplify139.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (104.0ms)

Iter	Nodes	Cost
0	4971	1523
1	4971	1523

prune116.0ms (1.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	82	3	85
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	82	4	86

Error

0.0b

Counts

86 → 4

Compiler

Compiled 1349 to 301 computations (77.7% saved)

localize3.0ms (0%)

rewrite1.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series1.0ms (0%)

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

simplify12.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	0	0

prune4.0ms (0.1%)

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.0b

Counts

4 → 4

Compiler

Compiled 16 to 14 computations (12.5% saved)

localize1.0ms (0%)

rewrite1.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series1.0ms (0%)

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

simplify14.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	0	0

prune3.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.0b

Counts

4 → 4

Compiler

Compiled 15 to 11 computations (26.7% saved)

localize20.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(.f64 1/2 (+.f64 (/.f64 (.f64 x x) z) (/.f64 (*.f64 y y) z)))
0.0b	(+.f64 (/.f64 (.f64 x x) z) (/.f64 (.f64 y y) z))
6.4b	(/.f64 (*.f64 x x) z)
7.4b	(/.f64 (*.f64 y y) z)

rewrite186.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

16×	`add-exp-log_binary64_17166` `add-cbrt-cube_binary64_17164`
14×	`*-un-lft-identity_binary64_17128`
12×	`add-sqr-sqrt_binary64_17150`
10×	`add-cube-cbrt_binary64_17163`
6×	`pow1_binary64_17189` `add-log-exp_binary64_17167` `times-frac_binary64_17134` `div-inv_binary64_17125` `associate-/r*_binary64_17072`
5×	`associate-r_binary64_17068`
4×	`div-exp_binary64_17179` `cbrt-undiv_binary64_17162`
3×	`prod-exp_binary64_17177` `cbrt-unprod_binary64_17161` `associate-r/_binary64_17070` `associate-l*_binary64_17069`
2×	`frac-2neg_binary64_17139` `clear-num_binary64_17127` `associate-/l*_binary64_17073` `frac-add_binary64_17136` `flip3-+_binary64_17131` `flip-+_binary64_17102` `distribute-rgt-out_binary64_17081` `distribute-lft-out_binary64_17079`
1×	`sum-log_binary64_17219` `+-commutative_binary64_17058` `pow-prod-down_binary64_17199` `unswap-sqr_binary64_17096` `distribute-rgt-in_binary64_17078` `distribute-lft-in_binary64_17077` `*-commutative_binary64_17059`

Counts

4 → 81

Calls

4 calls:

24.0ms	(.f64 1/2 (+.f64 (/.f64 (.f64 x x) z) (/.f64 (*.f64 y y) z)))
18.0ms	(+.f64 (/.f64 (.f64 x x) z) (/.f64 (.f64 y y) z))
9.0ms	(/.f64 (*.f64 y y) z)
9.0ms	(/.f64 (*.f64 x x) z)

Compiler

Compiled 1846 to 534 computations (71.1% saved)

series1.1s (13.3%)

Error

0.0b

Counts

4 → 42

Calls

4 calls:

440.0ms	(.f64 1/2 (+.f64 (/.f64 (.f64 x x) z) (/.f64 (*.f64 y y) z)))
346.0ms	(+.f64 (/.f64 (.f64 x x) z) (/.f64 (.f64 y y) z))
130.0ms	(/.f64 (*.f64 y y) z)
125.0ms	(/.f64 (*.f64 x x) z)

Compiler

Compiled 1578 to 1237 computations (21.6% saved)

simplify147.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

123 → 123

Iterations

Useful iterations: 0 (106.0ms)

Iter	Nodes	Cost
0	4963	1697
1	4963	1697

prune160.0ms (1.9%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	123	0	123
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	123	4	127

Error

0.0b

Counts

127 → 4

Compiler

Compiled 2205 to 631 computations (71.4% saved)

regimes1.4s (16.6%)

Accuracy

Total 12.7b remaining (96.4%)

Threshold costs 0b (0%)

Compiler

Compiled 2254 to 1886 computations (16.3% saved)

bsearch98.0ms (1.2%)

Steps

Iters	Range	Point
7	-4.716834294794137e-112	-1.4829740055779532e-113	-1.5083184111055833e-113
7	-6.827792788807006e-08	-1.1799341957868089e-09	-6.690921691928078e-08
5	-1.0822838848797943e+65	-4.2085593801501605e+64	-4.267352581954492e+64

Iters

Range

Point

-4.716834294794137e-112

-1.4829740055779532e-113

-1.5083184111055833e-113

-6.827792788807006e-08

-1.1799341957868089e-09

-6.690921691928078e-08

-1.0822838848797943e+65

-4.2085593801501605e+64

-4.267352581954492e+64

Compiler

Compiled 1 to 3 computations (-200% saved)

simplify33.0ms (0.4%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	33	41
1	33	41

Compiler

Compiled 56 to 38 computations (32.1% saved)

end0.0ms (0%)

sample2.5s (30.8%)

Algorithm

1×

intervals

Results

626.0ms

8000×

body

128

valid

Compiler

Compiled 259 to 215 computations (17% saved)

Details

analyze1.3s (15.4%)

sample53.0ms (0.6%)

simplify13.0ms (0.2%)

prune5.0ms (0.1%)

localize16.0ms (0.2%)

rewrite102.0ms (1.2%)

series849.0ms (10.3%)

simplify139.0ms (1.7%)

prune116.0ms (1.4%)

localize3.0ms (0%)

rewrite1.0ms (0%)

series1.0ms (0%)

simplify12.0ms (0.1%)

prune4.0ms (0.1%)

localize1.0ms (0%)

rewrite1.0ms (0%)

series1.0ms (0%)

simplify14.0ms (0.2%)

prune3.0ms (0%)

localize20.0ms (0.2%)

rewrite186.0ms (2.3%)

series1.1s (13.3%)

simplify147.0ms (1.8%)

prune160.0ms (1.9%)

regimes1.4s (16.6%)

bsearch98.0ms (1.2%)

simplify33.0ms (0.4%)

end0.0ms (0%)

sample2.5s (30.8%)

Profiling