Details

analyze146.0ms (5.8%)

Algorithm

1×

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
49.9%	49.9%	0.1%	5
74.9%	25%	0.1%	6
74.9%	25%	0.1%	7
74.9%	25%	0.1%	8
81.1%	18.7%	0.1%	9
81.1%	18.7%	0.1%	10
81.1%	15.6%	3.3%	11
84.3%	10.9%	4.8%	12
84.3%	10.9%	4.8%	13
84.3%	8.6%	7.2%	14

Compiler

Compiled 10 to 10 computations (0% saved)

sample15.0ms (0.6%)

Algorithm

1×

intervals

Results

7.0ms	256×	body	128	valid
0.0ms	12×	body	128	invalid

Compiler

Compiled 19 to 22 computations (-15.8% saved)

simplify132.0ms (5.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (16.0ms)

Iter	Nodes	Cost
0	321	13
1	321	13

prune8.0ms (0.3%)

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

Merged error: 0.0b

Counts

2 → 1

Compiler

Compiled 18 to 18 computations (0% saved)

localize12.0ms (0.5%)

Local error

Found 1 expressions with local error:

0.0b	(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))

rewrite28.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-sqr-sqrt_binary64_5897` `cancel-sign-sub-inv_binary64_5841`
10×	`times-frac_binary64_5881` `*-un-lft-identity_binary64_5875`
8×	`add-cube-cbrt_binary64_5910`
3×	`add-log-exp_binary64_5914`
2×	`difference-of-squares_binary64_5844`
1×	`distribute-lft-out--_binary64_5827` `add-exp-log_binary64_5913` `div-inv_binary64_5872` `diff-log_binary64_5967` `sub-neg_binary64_5868` `frac-sub_binary64_5884` `add-cbrt-cube_binary64_5911` `pow1_binary64_5936` `flip3--_binary64_5879` `flip--_binary64_5850`

Counts

1 → 28

Calls

1 calls:

24.0ms

(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))

series38.0ms (1.5%)

Counts

1 → 3

Calls

1 calls:

38.0ms

(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))

simplify82.0ms (3.2%)

Algorithm

1×	egg-herbie

Counts

31 → 31

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	5337	417

prune24.0ms (0.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	30	1	31
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	30	2	32

Merged error: 0.0b

Counts

32 → 2

Compiler

Compiled 415 to 256 computations (38.3% saved)

localize15.0ms (0.6%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))
0.2b	(pow.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) 3)
34.5b	(cbrt.f64 (pow.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) 3))

rewrite45.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Rules

41×	`add-sqr-sqrt_binary64_5897`
26×	`*-un-lft-identity_binary64_5875`
18×	`cbrt-prod_binary64_5906`
16×	`add-cube-cbrt_binary64_5910`
14×	`times-frac_binary64_5881`
13×	`cancel-sign-sub-inv_binary64_5841`
12×	`cube-prod_binary64_5903` `unpow-prod-down_binary64_5954`
10×	`difference-of-squares_binary64_5844`
6×	`cube-div_binary64_5904`
5×	`distribute-lft-out--_binary64_5827` `add-log-exp_binary64_5914`
4×	`add-exp-log_binary64_5913` `add-cbrt-cube_binary64_5911` `pow1_binary64_5936`
3×	`pow-unpow_binary64_5952` `frac-sub_binary64_5884` `cbrt-div_binary64_5907` `flip3--_binary64_5879` `flip--_binary64_5850`
2×	`unpow3_binary64_5941` `sqr-pow_binary64_5847` `cube-mult_binary64_5905`
1×	`pow-pow_binary64_5947` `rem-cube-cbrt_binary64_5898` `div-inv_binary64_5872` `diff-log_binary64_5967` `sub-neg_binary64_5868` `rem-cbrt-cube_binary64_5899` `pow-exp_binary64_5943` `pow1/3_binary64_5957` `pow-to-exp_binary64_5944`

Counts

3 → 90

Calls

3 calls:

13.0ms	(cbrt.f64 (pow.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) 3))
13.0ms	(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))
12.0ms	(pow.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) 3)

series220.0ms (8.7%)

Counts

3 → 9

Calls

3 calls:

133.0ms	(pow.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) 3)
51.0ms	(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))
36.0ms	(cbrt.f64 (pow.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) 3))

simplify67.0ms (2.7%)

Algorithm

1×	egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5067	2059

prune109.0ms (4.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	98	1	99
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	99	2	101

Merged error: 0.0b

Counts

101 → 2

Compiler

Compiled 1842 to 1219 computations (33.8% saved)

localize22.0ms (0.9%)

Local error

Found 4 expressions with local error:

0.1b	(pow.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) 2)
0.3b	(.f64 (cbrt.f64 (pow.f64 (-.f64 (/.f64 (.f64 x y) 2) (/.f64 z 8)) 2)) (cbrt.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))))
0.5b	(cbrt.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)))
25.6b	(cbrt.f64 (pow.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) 2))

rewrite88.0ms (3.5%)

Algorithm

1×	rewrite-expression-head

Rules

55×	`add-sqr-sqrt_binary64_5897`
49×	`cbrt-prod_binary64_5906`
24×	`*-un-lft-identity_binary64_5875`
20×	`unpow-prod-down_binary64_5954`
14×	`add-cube-cbrt_binary64_5910` `associate-l_binary64_5816`
10×	`difference-of-squares_binary64_5844` `unswap-sqr_binary64_5843`
9×	`associate-r_binary64_5815`
7×	`add-exp-log_binary64_5913` `pow1_binary64_5936` `unpow2_binary64_5940`
6×	`cbrt-div_binary64_5907`
5×	`distribute-lft-out--_binary64_5827` `times-frac_binary64_5881` `sqr-pow_binary64_5847`
4×	`add-cbrt-cube_binary64_5911` `pow1/3_binary64_5957` `add-log-exp_binary64_5914`
3×	`pow-unpow_binary64_5952` `associate-*r/_binary64_5817`
2×	`pow-prod-down_binary64_5946` `frac-sub_binary64_5884` `flip3--_binary64_5879` `flip--_binary64_5850`
1×	`pow-pow_binary64_5947` `cbrt-unprod_binary64_5908` `pow3_binary64_5958` `rem-3cbrt-lft_binary64_5900` `pow-exp_binary64_5943` `prod-exp_binary64_5924` `*-commutative_binary64_5806` `pow-to-exp_binary64_5944`

Counts

4 → 107

Calls

4 calls:

34.0ms	(.f64 (cbrt.f64 (pow.f64 (-.f64 (/.f64 (.f64 x y) 2) (/.f64 z 8)) 2)) (cbrt.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))))
16.0ms	(cbrt.f64 (pow.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) 2))
12.0ms	(pow.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) 2)
10.0ms	(cbrt.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)))

series453.0ms (18%)

Counts

4 → 12

Calls

4 calls:

189.0ms	(cbrt.f64 (pow.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) 2))
162.0ms	(cbrt.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)))
60.0ms	(pow.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) 2)
43.0ms	(.f64 (cbrt.f64 (pow.f64 (-.f64 (/.f64 (.f64 x y) 2) (/.f64 z 8)) 2)) (cbrt.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))))

simplify119.0ms (4.7%)

Algorithm

1×	egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	4988	3116
1	4988	3116

prune212.0ms (8.4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	119	0	119
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	119	2	121

Merged error: 0.0b

Counts

121 → 2

Compiler

Compiled 3480 to 2325 computations (33.2% saved)

regimes84.0ms (3.3%)

Compiler: Compiled 354 to 346 computations (2.3% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	28	13
1	28	13

end0.0ms (0%)

sample603.0ms (23.9%)

Algorithm

1×

intervals

Results

274.0ms	8000×	body	128	valid
16.0ms	473×	body	128	invalid

Compiler

Compiled 63 to 62 computations (1.6% saved)

Details

analyze146.0ms (5.8%)

sample15.0ms (0.6%)

simplify132.0ms (5.2%)

prune8.0ms (0.3%)

localize12.0ms (0.5%)

rewrite28.0ms (1.1%)

series38.0ms (1.5%)

simplify82.0ms (3.2%)

prune24.0ms (0.9%)

localize15.0ms (0.6%)

rewrite45.0ms (1.8%)

series220.0ms (8.7%)

simplify67.0ms (2.7%)

prune109.0ms (4.3%)

localize22.0ms (0.9%)

rewrite88.0ms (3.5%)

series453.0ms (18%)

simplify119.0ms (4.7%)

prune212.0ms (8.4%)

regimes84.0ms (3.3%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample603.0ms (23.9%)

Profiling