Details

analyze2.5s (10.2%)

Algorithm

2×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4620	154
1	4620	154
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
0%	99.8%	0.2%	9
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
0%	99.8%	0.2%	10
0%	99.8%	0.2%	11
0%	99.8%	0.2%	11
0%	99.8%	0.2%	12
0%	99.8%	0.2%	12
3.7%	96.1%	0.2%	13
3.7%	96.1%	0.2%	13
4.2%	94.5%	1.3%	14
4.2%	94.5%	1.3%	14

Compiler

Compiled 36 to 32 computations (11.1% saved)

sample988.0ms (4%)

Algorithm

2×

intervals

Results

26.0ms	512×	body	128	valid
10.0ms	155×	body	128	invalid

Compiler

Compiled 6047 to 6715 computations (-11% saved)

simplify91.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (85.0ms)

Iter	Nodes	Cost
0	4889	19
1	4889	19

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

0.0b

Counts

2 → 2

Compiler

Compiled 43 to 41 computations (4.7% saved)

localize11.0ms (0%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 2 (/.f64 2 z))
0.0b	(+.f64 (/.f64 x y) (+.f64 -2 (/.f64 (+.f64 2 (/.f64 2 z)) t)))
0.1b	(/.f64 (+.f64 2 (/.f64 2 z)) t)

rewrite119.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

27×	`*-un-lft-identity_binary64_19856`
12×	`add-cube-cbrt_binary64_19891` `add-sqr-sqrt_binary64_19878` `times-frac_binary64_19862`
10×	`add-log-exp_binary64_19895`
8×	`distribute-lft-out_binary64_19807`
5×	`add-exp-log_binary64_19894` `add-cbrt-cube_binary64_19892`
4×	`flip3-+_binary64_19859` `flip-+_binary64_19830` `associate-/l*_binary64_19801` `sum-log_binary64_19947`
3×	`pow1_binary64_19917` `associate-/r*_binary64_19800`
2×	`associate-/l/_binary64_19803` `frac-add_binary64_19864` `+-commutative_binary64_19786`
1×	`div-exp_binary64_19907` `cbrt-undiv_binary64_19890` `frac-2neg_binary64_19867` `clear-num_binary64_19855` `div-inv_binary64_19853` `associate-+r+_binary64_19788`

Counts

3 → 62

Calls

3 calls:

18.0ms	(+.f64 (/.f64 x y) (+.f64 -2 (/.f64 (+.f64 2 (/.f64 2 z)) t)))
8.0ms	(/.f64 (+.f64 2 (/.f64 2 z)) t)
6.0ms	(+.f64 2 (/.f64 2 z))

Compiler

Compiled 1443 to 985 computations (31.7% saved)

series812.0ms (3.3%)

Error

0.0b

Counts

3 → 39

Calls

3 calls:

570.0ms	(+.f64 (/.f64 x y) (+.f64 -2 (/.f64 (+.f64 2 (/.f64 2 z)) t)))
167.0ms	(/.f64 (+.f64 2 (/.f64 2 z)) t)
38.0ms	(+.f64 2 (/.f64 2 z))

Compiler

Compiled 1441 to 1238 computations (14.1% saved)

simplify68.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4930	1711
1	4930	1711

prune126.0ms (0.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	97	4	101
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	97	6	103

Error

0.0b

Counts

103 → 6

Compiler

Compiled 1878 to 1232 computations (34.4% saved)

localize11.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 2 (/.f64 2 z))
0.0b	(+.f64 (/.f64 x y) (+.f64 -2 (/.f64 1 (/.f64 t (+.f64 2 (/.f64 2 z))))))
0.1b	(/.f64 1 (/.f64 t (+.f64 2 (/.f64 2 z))))
0.1b	(/.f64 t (+.f64 2 (/.f64 2 z)))

rewrite324.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

114×	`times-frac_binary64_19862`
105×	`*-un-lft-identity_binary64_19856`
64×	`add-cube-cbrt_binary64_19891` `add-sqr-sqrt_binary64_19878`
22×	`distribute-lft-out_binary64_19807` `associate-/r*_binary64_19800`
17×	`add-exp-log_binary64_19894`
11×	`add-log-exp_binary64_19895` `add-cbrt-cube_binary64_19892` `associate-/r/_binary64_19802`
8×	`div-exp_binary64_19907` `flip3-+_binary64_19859` `flip-+_binary64_19830`
7×	`div-inv_binary64_19853`
6×	`associate-/l*_binary64_19801`
5×	`pow1_binary64_19917`
4×	`cbrt-undiv_binary64_19890` `sum-log_binary64_19947`
2×	`frac-2neg_binary64_19867` `clear-num_binary64_19855` `1-exp_binary64_19900` `rec-exp_binary64_19906` `frac-add_binary64_19864` `+-commutative_binary64_19786`
1×	`inv-pow_binary64_19941` `pow-flip_binary64_19930` `associate-+r+_binary64_19788`

Counts

4 → 159

Calls

4 calls:

32.0ms	(+.f64 (/.f64 x y) (+.f64 -2 (/.f64 1 (/.f64 t (+.f64 2 (/.f64 2 z))))))
12.0ms	(/.f64 1 (/.f64 t (+.f64 2 (/.f64 2 z))))
8.0ms	(/.f64 t (+.f64 2 (/.f64 2 z)))
6.0ms	(+.f64 2 (/.f64 2 z))

Compiler

Compiled 4237 to 3047 computations (28.1% saved)

series958.0ms (3.9%)

Error

0.0b

Counts

4 → 54

Calls

4 calls:

554.0ms	(+.f64 (/.f64 x y) (+.f64 -2 (/.f64 1 (/.f64 t (+.f64 2 (/.f64 2 z))))))
168.0ms	(/.f64 t (+.f64 2 (/.f64 2 z)))
148.0ms	(/.f64 1 (/.f64 t (+.f64 2 (/.f64 2 z))))
37.0ms	(+.f64 2 (/.f64 2 z))

Compiler

Compiled 2168 to 1825 computations (15.8% saved)

simplify83.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

213 → 213

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5065	3956

prune274.0ms (1.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	212	1	213
Fresh	1	3	4
Picked	1	0	1
Done	0	1	1
Total	214	5	219

Error

0.0b

Counts

219 → 5

Compiler

Compiled 4452 to 2998 computations (32.7% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b	(*.f64 (cbrt.f64 (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) (-.f64 (/.f64 x y) 2))) (cbrt.f64 (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) (-.f64 (/.f64 x y) 2))))
0.7b	(cbrt.f64 (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) (-.f64 (/.f64 x y) 2)))
0.7b	(cbrt.f64 (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) (-.f64 (/.f64 x y) 2)))
0.7b	(cbrt.f64 (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) (-.f64 (/.f64 x y) 2)))

rewrite661.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

74×	`*-un-lft-identity_binary64_19856`
52×	`cbrt-div_binary64_19888`
51×	`cbrt-prod_binary64_19887`
26×	`frac-add_binary64_19864`
23×	`add-sqr-sqrt_binary64_19878`
22×	`distribute-lft-out_binary64_19807`
16×	`frac-times_binary64_19866`
15×	`add-cube-cbrt_binary64_19891`
14×	`swap-sqr_binary64_19823`
13×	`flip3--_binary64_19860` `flip--_binary64_19831` `flip3-+_binary64_19859` `flip-+_binary64_19830`
11×	`pow1_binary64_19917` `distribute-lft-out--_binary64_19808`
9×	`pow1/3_binary64_19938`
8×	`associate-l_binary64_19797` `associate-r_binary64_19796`
6×	`add-exp-log_binary64_19894`
4×	`add-log-exp_binary64_19895` `add-cbrt-cube_binary64_19892` `unswap-sqr_binary64_19824` `associate-l/_binary64_19799` `associate-r/_binary64_19798`
2×	`pow-prod-down_binary64_19927` `pow-prod-up_binary64_19926` `pow-sqr_binary64_19829`
1×	`pow2_binary64_19937` `pow-plus_binary64_19919` `prod-exp_binary64_19905` `cbrt-unprod_binary64_19889` `*-commutative_binary64_19787`

Counts

4 → 127

Calls

4 calls:

50.0ms	(*.f64 (cbrt.f64 (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) (-.f64 (/.f64 x y) 2))) (cbrt.f64 (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) (-.f64 (/.f64 x y) 2))))
23.0ms	(cbrt.f64 (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) (-.f64 (/.f64 x y) 2)))
20.0ms	(cbrt.f64 (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) (-.f64 (/.f64 x y) 2)))
19.0ms	(cbrt.f64 (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) (-.f64 (/.f64 x y) 2)))

Compiler

Compiled 8562 to 5622 computations (34.3% saved)

series12.6s (50.9%)

Error

0.0b

Counts

4 → 126

Calls

4 calls:

6.7s	(*.f64 (cbrt.f64 (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) (-.f64 (/.f64 x y) 2))) (cbrt.f64 (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) (-.f64 (/.f64 x y) 2))))
1.7s	(cbrt.f64 (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) (-.f64 (/.f64 x y) 2)))
1.6s	(cbrt.f64 (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) (-.f64 (/.f64 x y) 2)))
1.6s	(cbrt.f64 (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) (-.f64 (/.f64 x y) 2)))

Compiler

Compiled 37368 to 28385 computations (24% saved)

simplify167.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

253 → 253

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	5058	19764

prune1.5s (5.9%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	253	0	253
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	253	5	258

Error

0.0b

Counts

258 → 5

Compiler

Compiled 19775 to 12367 computations (37.5% saved)

localize14.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(.f64 (.f64 z 2) (-.f64 1 t))
0.0b	(+.f64 (/.f64 x y) (/.f64 (+.f64 2 (.f64 (.f64 z 2) (-.f64 1 t))) (*.f64 t z)))
9.3b	(/.f64 (+.f64 2 (.f64 (.f64 z 2) (-.f64 1 t))) (*.f64 t z))

rewrite128.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

13×	`add-exp-log_binary64_19894` `add-cbrt-cube_binary64_19892` `*-un-lft-identity_binary64_19856`
11×	`add-sqr-sqrt_binary64_19878`
8×	`pow1_binary64_19917` `add-cube-cbrt_binary64_19891`
6×	`cancel-sign-sub-inv_binary64_19822` `associate-r_binary64_19796`
5×	`add-log-exp_binary64_19895`
4×	`prod-exp_binary64_19905` `cbrt-unprod_binary64_19889` `distribute-rgt-in_binary64_19806` `distribute-lft-in_binary64_19805`
3×	`times-frac_binary64_19862` `associate-/l*_binary64_19801` `pow-prod-down_binary64_19927`
2×	`div-exp_binary64_19907` `cbrt-undiv_binary64_19890` `flip3-+_binary64_19859` `associate-/l/_binary64_19803` `flip-+_binary64_19830` `sub-neg_binary64_19849` `associate-*r/_binary64_19798` `difference-of-squares_binary64_19825`
1×	`frac-2neg_binary64_19867` `clear-num_binary64_19855` `div-inv_binary64_19853` `associate-/r_binary64_19800` `sum-log_binary64_19947` `frac-add_binary64_19864` `distribute-lft-out_binary64_19807` `+-commutative_binary64_19786` `flip3--_binary64_19860` `flip--_binary64_19831` `associate-l_binary64_19797` `distribute-lft-out--_binary64_19808` `-commutative_binary64_19787`

Counts

3 → 67

Calls

3 calls:

12.0ms	(+.f64 (/.f64 x y) (/.f64 (+.f64 2 (.f64 (.f64 z 2) (-.f64 1 t))) (*.f64 t z)))
8.0ms	(.f64 (.f64 z 2) (-.f64 1 t))
6.0ms	(/.f64 (+.f64 2 (.f64 (.f64 z 2) (-.f64 1 t))) (*.f64 t z))

Compiler

Compiled 1855 to 1117 computations (39.8% saved)

series1.1s (4.3%)

Error

0.0b

Counts

3 → 45

Calls

3 calls:

590.0ms	(+.f64 (/.f64 x y) (/.f64 (+.f64 2 (.f64 (.f64 z 2) (-.f64 1 t))) (*.f64 t z)))
316.0ms	(/.f64 (+.f64 2 (.f64 (.f64 z 2) (-.f64 1 t))) (*.f64 t z))
132.0ms	(.f64 (.f64 z 2) (-.f64 1 t))

Compiler

Compiled 1748 to 1423 computations (18.6% saved)

simplify43.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 0 (22.0ms)

Iter	Nodes	Cost
0	4947	1949
1	4947	1949

prune114.0ms (0.5%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	112	0	112
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	112	5	117

Error

0.0b

Counts

117 → 5

Compiler

Compiled 2153 to 1220 computations (43.3% saved)

regimes631.0ms (2.5%)

Accuracy

Total 0.1b remaining (87.6%)

Threshold costs 0.1b (87.6%)

Compiler

Compiled 4143 to 3826 computations (7.7% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	19
1	16	19

end0.0ms (0%)

sample1.5s (5.9%)

Algorithm

1×

intervals

Results

400.0ms	8000×	body	128	valid
119.0ms	2365×	body	128	invalid

Compiler

Compiled 618 to 571 computations (7.6% saved)

Details

analyze2.5s (10.2%)

sample988.0ms (4%)

simplify91.0ms (0.4%)

prune5.0ms (0%)

localize11.0ms (0%)

rewrite119.0ms (0.5%)

series812.0ms (3.3%)

simplify68.0ms (0.3%)

prune126.0ms (0.5%)

localize11.0ms (0%)

rewrite324.0ms (1.3%)

series958.0ms (3.9%)

simplify83.0ms (0.3%)

prune274.0ms (1.1%)

localize14.0ms (0.1%)

rewrite661.0ms (2.7%)

series12.6s (50.9%)

simplify167.0ms (0.7%)

prune1.5s (5.9%)

localize14.0ms (0.1%)

rewrite128.0ms (0.5%)

series1.1s (4.3%)

simplify43.0ms (0.2%)

prune114.0ms (0.5%)

regimes631.0ms (2.5%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample1.5s (5.9%)

Profiling