Details

analyze1.1s (14%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4914	91
1	4914	91
0	4	4
1	4	4

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
3.1%	96.7%	0.2%	8
17.2%	82.7%	0.2%	9
21.8%	78%	0.2%	10
30%	68.8%	1.2%	11
31.8%	65.3%	2.9%	12
40.1%	55.3%	4.6%	13
44.5%	50.1%	5.4%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample30.0ms (0.4%)

Algorithm

1×

intervals

Results

9.0ms	256×	body	128	valid
2.0ms	49×	body	128	invalid

Compiler

Compiled 19 to 21 computations (-10.5% saved)

simplify67.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	734	13
1	734	13

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

2.3b

Counts

2 → 1

Compiler

Compiled 18 to 16 computations (11.1% saved)

localize13.0ms (0.2%)

Local error

Found 1 expressions with local error:

7.0b	(*.f64 (/.f64 x y) (-.f64 z t))

rewrite86.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

18×	`add-sqr-sqrt_binary64_12035`
13×	`-un-lft-identity_binary64_12013` `associate-l*_binary64_11954`
11×	`add-cube-cbrt_binary64_12048`
10×	`times-frac_binary64_12019`
6×	`add-exp-log_binary64_12051` `add-cbrt-cube_binary64_12049` `cancel-sign-sub-inv_binary64_11979`
5×	`associate-r_binary64_11953`
4×	`distribute-rgt-in_binary64_11963` `distribute-lft-in_binary64_11962`
3×	`pow1_binary64_12074`
2×	`prod-exp_binary64_12062` `cbrt-unprod_binary64_12046` `flip3--_binary64_12017` `frac-times_binary64_12023` `flip--_binary64_11988` `unswap-sqr_binary64_11981` `sub-neg_binary64_12006` `associate-*r/_binary64_11955`
1×	`pow-prod-down_binary64_12084` `div-exp_binary64_12064` `add-log-exp_binary64_12052` `cbrt-undiv_binary64_12047` `associate-l/_binary64_11956` `div-inv_binary64_12010` `difference-of-squares_binary64_11982` `distribute-lft-out--_binary64_11965` `-commutative_binary64_11944`

Counts

1 → 46

Calls

1 calls:

20.0ms

(*.f64 (/.f64 x y) (-.f64 z t))

Compiler

Compiled 779 to 235 computations (69.8% saved)

series248.0ms (3.1%)

Error

0.1b

Counts

1 → 18

Calls

1 calls:

235.0ms

(*.f64 (/.f64 x y) (-.f64 z t))

Compiler

Compiled 510 to 304 computations (40.4% saved)

simplify74.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5575	812

prune66.0ms (0.8%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	58	6	64
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	58	7	65

Error

Counts

65 → 7

Compiler

Compiled 952 to 251 computations (73.6% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
1.1b	(.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 y) (cbrt.f64 y))) (.f64 (-.f64 z t) (/.f64 (cbrt.f64 x) (cbrt.f64 y))))

rewrite143.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

73×	`add-exp-log_binary64_12051`
39×	`add-cbrt-cube_binary64_12049`
37×	`prod-exp_binary64_12062` `cbrt-unprod_binary64_12046`
17×	`div-exp_binary64_12064` `cbrt-undiv_binary64_12047`
9×	`pow1_binary64_12074` `frac-times_binary64_12023` `cbrt-prod_binary64_12044`
8×	`add-cube-cbrt_binary64_12048` `add-sqr-sqrt_binary64_12035` `*-un-lft-identity_binary64_12013`
7×	`associate-*r/_binary64_11955`
5×	`associate-l/_binary64_11956` `associate-l*_binary64_11954`
4×	`add-log-exp_binary64_12052` `flip3--_binary64_12017` `flip--_binary64_11988`
3×	`pow-prod-down_binary64_12084` `pow1/3_binary64_12095`
1×	`times-frac_binary64_12019` `div-inv_binary64_12010` `associate-r_binary64_11953` `*-commutative_binary64_11944`

Counts

4 → 90

Calls

4 calls:

27.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 y) (cbrt.f64 y))) (.f64 (-.f64 z t) (/.f64 (cbrt.f64 x) (cbrt.f64 y))))
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)

Compiler

Compiled 2998 to 443 computations (85.2% saved)

series597.0ms (7.5%)

Error

Counts

4 → 27

Calls

4 calls:

282.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 y) (cbrt.f64 y))) (.f64 (-.f64 z t) (/.f64 (cbrt.f64 x) (cbrt.f64 y))))
100.0ms	(cbrt.f64 x)
100.0ms	(cbrt.f64 x)
98.0ms	(cbrt.f64 x)

Compiler

Compiled 1239 to 736 computations (40.6% saved)

simplify60.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	4988	1274
1	4988	1274

prune106.0ms (1.3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	117	0	117
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	117	7	124

Error

Counts

124 → 7

Compiler

Compiled 2227 to 468 computations (79% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)
2.2b	(*.f64 (-.f64 z t) (/.f64 x (cbrt.f64 y)))
2.8b	(.f64 (/.f64 1 (.f64 (cbrt.f64 y) (cbrt.f64 y))) (*.f64 (-.f64 z t) (/.f64 x (cbrt.f64 y))))

rewrite223.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

87×	`add-exp-log_binary64_12051`
46×	`prod-exp_binary64_12062`
35×	`add-cbrt-cube_binary64_12049`
32×	`add-sqr-sqrt_binary64_12035`
24×	`*-un-lft-identity_binary64_12013`
23×	`times-frac_binary64_12019` `associate-r_binary64_11953`
22×	`add-cube-cbrt_binary64_12048`
20×	`div-exp_binary64_12064` `cbrt-unprod_binary64_12046`
16×	`cbrt-prod_binary64_12044`
12×	`associate-l_binary64_11954`
11×	`pow1_binary64_12074` `frac-times_binary64_12023`
10×	`cbrt-undiv_binary64_12047`
8×	`associate-*r/_binary64_11955`
7×	`associate-*l/_binary64_11956`
6×	`1-exp_binary64_12057` `rec-exp_binary64_12063` `flip3--_binary64_12017` `flip--_binary64_11988`
4×	`pow-prod-down_binary64_12084` `add-log-exp_binary64_12052`
3×	`unswap-sqr_binary64_11981`
2×	`div-inv_binary64_12010` `*-commutative_binary64_11944` `pow1/3_binary64_12095`
1×	`difference-of-squares_binary64_11982` `distribute-lft-out--_binary64_11965`

Counts

4 → 129

Calls

4 calls:

26.0ms	(.f64 (/.f64 1 (.f64 (cbrt.f64 y) (cbrt.f64 y))) (*.f64 (-.f64 z t) (/.f64 x (cbrt.f64 y))))
13.0ms	(*.f64 (-.f64 z t) (/.f64 x (cbrt.f64 y)))
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)

Compiler

Compiled 3421 to 958 computations (72% saved)

series1.2s (14.8%)

Error

Counts

4 → 42

Calls

4 calls:

679.0ms	(*.f64 (-.f64 z t) (/.f64 x (cbrt.f64 y)))
260.0ms	(.f64 (/.f64 1 (.f64 (cbrt.f64 y) (cbrt.f64 y))) (*.f64 (-.f64 z t) (/.f64 x (cbrt.f64 y))))
116.0ms	(cbrt.f64 y)
94.0ms	(cbrt.f64 y)

Compiler

Compiled 2064 to 1389 computations (32.7% saved)

simplify72.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5429	2203

prune164.0ms (2.1%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	171	0	171
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	171	7	178

Error

Counts

178 → 7

Compiler

Compiled 3235 to 962 computations (70.3% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
2.5b	(*.f64 (-.f64 z t) (/.f64 (cbrt.f64 x) y))
2.9b	(.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1) (*.f64 (-.f64 z t) (/.f64 (cbrt.f64 x) y)))

rewrite168.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

66×	`add-exp-log_binary64_12051`
35×	`add-cbrt-cube_binary64_12049`
33×	`prod-exp_binary64_12062`
32×	`add-sqr-sqrt_binary64_12035`
24×	`*-un-lft-identity_binary64_12013`
23×	`times-frac_binary64_12019` `associate-r_binary64_11953`
22×	`add-cube-cbrt_binary64_12048`
20×	`cbrt-unprod_binary64_12046`
18×	`div-exp_binary64_12064`
16×	`cbrt-prod_binary64_12044`
12×	`associate-l_binary64_11954`
11×	`pow1_binary64_12074` `frac-times_binary64_12023`
10×	`cbrt-undiv_binary64_12047`
8×	`associate-*r/_binary64_11955`
7×	`associate-*l/_binary64_11956`
6×	`1-exp_binary64_12057` `flip3--_binary64_12017` `flip--_binary64_11988`
4×	`pow-prod-down_binary64_12084` `add-log-exp_binary64_12052`
3×	`unswap-sqr_binary64_11981`
2×	`div-inv_binary64_12010` `*-commutative_binary64_11944` `pow1/3_binary64_12095`
1×	`difference-of-squares_binary64_11982` `distribute-lft-out--_binary64_11965`

Counts

4 → 123

Calls

4 calls:

16.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1) (*.f64 (-.f64 z t) (/.f64 (cbrt.f64 x) y)))
13.0ms	(*.f64 (-.f64 z t) (/.f64 (cbrt.f64 x) y))
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)

Compiler

Compiled 3292 to 939 computations (71.5% saved)

series1.0s (12.8%)

Error

Counts

4 → 42

Calls

4 calls:

548.0ms	(*.f64 (-.f64 z t) (/.f64 (cbrt.f64 x) y))
264.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1) (*.f64 (-.f64 z t) (/.f64 (cbrt.f64 x) y)))
85.0ms	(cbrt.f64 x)
83.0ms	(cbrt.f64 x)

Compiler

Compiled 1956 to 1288 computations (34.2% saved)

simplify68.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

165 → 165

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5493	2042

prune131.0ms (1.6%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	165	0	165
Fresh	0	3	3
Picked	0	1	1
Done	0	3	3
Total	165	7	172

Error

Counts

172 → 7

Compiler

Compiled 3046 to 836 computations (72.6% saved)

regimes596.0ms (7.5%)

Accuracy

Total 0.9b remaining (99.6%)

Threshold costs 0.9b (99.6%)

Compiler

Compiled 5082 to 3346 computations (34.2% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	28	37
1	28	37

end0.0ms (0%)

sample1.7s (21.5%)

Algorithm

1×

intervals

Results

348.0ms	8000×	body	128	valid
87.0ms	2065×	body	128	invalid

Compiler

Compiled 866 to 566 computations (34.6% saved)

Details

analyze1.1s (14%)

sample30.0ms (0.4%)

simplify67.0ms (0.8%)

prune4.0ms (0%)

localize13.0ms (0.2%)

rewrite86.0ms (1.1%)

series248.0ms (3.1%)

simplify74.0ms (0.9%)

prune66.0ms (0.8%)

localize15.0ms (0.2%)

rewrite143.0ms (1.8%)

series597.0ms (7.5%)

simplify60.0ms (0.8%)

prune106.0ms (1.3%)

localize11.0ms (0.1%)

rewrite223.0ms (2.8%)

series1.2s (14.8%)

simplify72.0ms (0.9%)

prune164.0ms (2.1%)

localize11.0ms (0.1%)

rewrite168.0ms (2.1%)

series1.0s (12.8%)

simplify68.0ms (0.9%)

prune131.0ms (1.6%)

regimes596.0ms (7.5%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample1.7s (21.5%)

Profiling