Details

analyze1.1s (11.3%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4903	176
1	4903	176
0	5	5
1	5	5

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
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
13.2%	86.5%	0.2%	10
17%	82.8%	0.2%	11
18.2%	81.5%	0.2%	12
21.7%	78.1%	0.2%	13
32.9%	66.9%	0.2%	14

Compiler

Compiled 12 to 11 computations (8.3% saved)

sample30.0ms (0.3%)

Algorithm

1×

intervals

Results

14.0ms	256×	body	128	valid
1.0ms	24×	body	128	invalid

Compiler

Compiled 23 to 26 computations (-13% saved)

simplify172.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (167.0ms)

Iter	Nodes	Cost
0	4973	16
1	4973	16

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

12.1b

Counts

2 → 1

Compiler

Compiled 22 to 20 computations (9.1% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 t (*.f64 a z))
0.0b	(-.f64 x (*.f64 y z))
11.8b	(/.f64 (-.f64 x (.f64 y z)) (-.f64 t (.f64 a z)))

rewrite71.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

12.0b

Rules

11×	`add-cube-cbrt_binary64_16822` `add-sqr-sqrt_binary64_16809` `*-un-lft-identity_binary64_16787`
9×	`times-frac_binary64_16793`
7×	`add-log-exp_binary64_16826`
5×	`add-exp-log_binary64_16825` `add-cbrt-cube_binary64_16823`
4×	`flip3--_binary64_16791` `flip--_binary64_16762`
3×	`pow1_binary64_16848` `associate-/l_binary64_16732` `associate-/r_binary64_16731`
2×	`associate-/l/_binary64_16734` `associate-/r/_binary64_16733` `diff-log_binary64_16879` `sub-neg_binary64_16780` `cancel-sign-sub-inv_binary64_16753`
1×	`div-exp_binary64_16838` `cbrt-undiv_binary64_16821` `frac-2neg_binary64_16798` `div-sub_binary64_16792` `clear-num_binary64_16786` `div-inv_binary64_16784`

Counts

3 → 56

Calls

3 calls:

7.0ms	(/.f64 (-.f64 x (.f64 y z)) (-.f64 t (.f64 a z)))
3.0ms	(-.f64 x (*.f64 y z))
3.0ms	(-.f64 t (*.f64 a z))

Compiler

Compiled 1164 to 205 computations (82.4% saved)

series556.0ms (5.7%)

Error

2.4b

Counts

3 → 66

Calls

3 calls:

348.0ms	(/.f64 (-.f64 x (.f64 y z)) (-.f64 t (.f64 a z)))
84.0ms	(-.f64 x (*.f64 y z))
84.0ms	(-.f64 t (*.f64 a z))

Compiler

Compiled 2441 to 1502 computations (38.5% saved)

simplify64.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5036	1853

prune91.0ms (0.9%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	111	11	122
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	112	11	123

Error

2.3b

Counts

123 → 11

Compiler

Compiled 2007 to 362 computations (82% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 t (*.f64 z a))
0.0b	(-.f64 x (*.f64 y z))
0.9b	(/.f64 1 (-.f64 t (*.f64 z a)))
11.2b	(.f64 (-.f64 x (.f64 y z)) (/.f64 1 (-.f64 t (*.f64 z a))))

rewrite108.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

2.3b

Rules

27×	`add-sqr-sqrt_binary64_16809`
21×	`*-un-lft-identity_binary64_16787`
20×	`add-cube-cbrt_binary64_16822` `times-frac_binary64_16793`
17×	`add-exp-log_binary64_16825`
15×	`associate-r_binary64_16727`
11×	`add-cbrt-cube_binary64_16823`
8×	`add-log-exp_binary64_16826`
7×	`pow1_binary64_16848`
6×	`flip3--_binary64_16791` `flip--_binary64_16762`
4×	`div-exp_binary64_16838` `prod-exp_binary64_16836` `associate-/r/_binary64_16733`
3×	`unswap-sqr_binary64_16755` `associate-l_binary64_16728` `associate-/l_binary64_16732` `associate-/r_binary64_16731`
2×	`1-exp_binary64_16831` `rec-exp_binary64_16837` `cbrt-unprod_binary64_16820` `cbrt-undiv_binary64_16821` `frac-times_binary64_16797` `associate-*l/_binary64_16730` `div-inv_binary64_16784` `diff-log_binary64_16879` `sub-neg_binary64_16780` `cancel-sign-sub-inv_binary64_16753`
1×	`pow-prod-down_binary64_16858` `un-div-inv_binary64_16785` `associate-r/_binary64_16729` `-commutative_binary64_16718` `inv-pow_binary64_16872` `pow-flip_binary64_16861` `frac-2neg_binary64_16798` `clear-num_binary64_16786`

Counts

4 → 99

Calls

4 calls:

12.0ms	(.f64 (-.f64 x (.f64 y z)) (/.f64 1 (-.f64 t (*.f64 z a))))
5.0ms	(/.f64 1 (-.f64 t (*.f64 z a)))
3.0ms	(-.f64 t (*.f64 z a))
3.0ms	(-.f64 x (*.f64 y z))

Compiler

Compiled 2207 to 663 computations (70% saved)

series601.0ms (6.1%)

Error

2.3b

Counts

4 → 79

Calls

4 calls:

345.0ms	(.f64 (-.f64 x (.f64 y z)) (/.f64 1 (-.f64 t (*.f64 z a))))
76.0ms	(-.f64 t (*.f64 z a))
74.0ms	(-.f64 x (*.f64 y z))
59.0ms	(/.f64 1 (-.f64 t (*.f64 z a)))

Compiler

Compiled 3165 to 2108 computations (33.4% saved)

simplify77.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

178 → 178

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4989	2556
1	4989	2556

prune126.0ms (1.3%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	175	3	178
Fresh	4	6	10
Picked	0	1	1
Done	0	0	0
Total	179	10	189

Error

1.4b

Counts

189 → 10

Compiler

Compiled 3080 to 801 computations (74% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 t (*.f64 z a))
0.0b	(-.f64 x (*.f64 z y))
1.0b	(/.f64 1 (/.f64 (-.f64 t (.f64 z a)) (-.f64 x (.f64 z y))))
11.7b	(/.f64 (-.f64 t (.f64 z a)) (-.f64 x (.f64 z y)))

rewrite164.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

1.4b

Rules

90×	`times-frac_binary64_16793`
56×	`add-cube-cbrt_binary64_16822` `add-sqr-sqrt_binary64_16809` `*-un-lft-identity_binary64_16787`
18×	`associate-/r*_binary64_16731`
17×	`add-exp-log_binary64_16825`
11×	`add-cbrt-cube_binary64_16823` `associate-/r/_binary64_16733`
8×	`div-exp_binary64_16838` `add-log-exp_binary64_16826` `flip3--_binary64_16791` `flip--_binary64_16762`
6×	`div-inv_binary64_16784` `associate-/l*_binary64_16732`
5×	`pow1_binary64_16848`
4×	`cbrt-undiv_binary64_16821`
2×	`frac-2neg_binary64_16798` `clear-num_binary64_16786` `associate-/l/_binary64_16734` `1-exp_binary64_16831` `rec-exp_binary64_16837` `diff-log_binary64_16879` `sub-neg_binary64_16780` `cancel-sign-sub-inv_binary64_16753`
1×	`div-sub_binary64_16792` `inv-pow_binary64_16872` `pow-flip_binary64_16861`

Counts

4 → 140

Calls

4 calls:

9.0ms	(/.f64 1 (/.f64 (-.f64 t (.f64 z a)) (-.f64 x (.f64 z y))))
7.0ms	(/.f64 (-.f64 t (.f64 z a)) (-.f64 x (.f64 z y)))
4.0ms	(-.f64 x (*.f64 z y))
3.0ms	(-.f64 t (*.f64 z a))

Compiler

Compiled 3656 to 885 computations (75.8% saved)

series966.0ms (9.8%)

Error

1.4b

Counts

4 → 100

Calls

4 calls:

399.0ms	(/.f64 (-.f64 t (.f64 z a)) (-.f64 x (.f64 z y)))
341.0ms	(/.f64 1 (/.f64 (-.f64 t (.f64 z a)) (-.f64 x (.f64 z y))))
80.0ms	(-.f64 t (*.f64 z a))
78.0ms	(-.f64 x (*.f64 z y))

Compiler

Compiled 4858 to 3134 computations (35.5% saved)

simplify117.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

240 → 240

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4973	5328
1	4973	5328

prune182.0ms (1.9%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	236	4	240
Fresh	3	5	8
Picked	1	0	1
Done	0	1	1
Total	240	10	250

Error

0.4b

Counts

250 → 10

Compiler

Compiled 4866 to 1028 computations (78.9% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

6.2b	(cbrt.f64 (/.f64 (-.f64 x (.f64 z y)) (-.f64 t (.f64 z a))))
11.8b	(/.f64 (-.f64 x (.f64 z y)) (-.f64 t (.f64 z a)))
11.8b	(/.f64 (-.f64 x (.f64 z y)) (-.f64 t (.f64 z a)))
11.8b	(/.f64 (-.f64 x (.f64 z y)) (-.f64 t (.f64 z a)))

rewrite168.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

0.4b

Rules

36×	`times-frac_binary64_16793`
35×	`add-cube-cbrt_binary64_16822` `add-sqr-sqrt_binary64_16809` `*-un-lft-identity_binary64_16787`
15×	`cbrt-prod_binary64_16818`
10×	`add-exp-log_binary64_16825` `add-cbrt-cube_binary64_16823`
9×	`associate-/l_binary64_16732` `associate-/r_binary64_16731`
8×	`associate-/r/_binary64_16733`
7×	`flip3--_binary64_16791` `flip--_binary64_16762`
6×	`associate-/l/_binary64_16734`
4×	`pow1_binary64_16848` `add-log-exp_binary64_16826` `div-inv_binary64_16784`
3×	`div-exp_binary64_16838` `cbrt-undiv_binary64_16821` `frac-2neg_binary64_16798` `div-sub_binary64_16792` `clear-num_binary64_16786`
1×	`pow1/3_binary64_16869` `cbrt-div_binary64_16819`

Counts

4 → 120

Calls

4 calls:

7.0ms	(/.f64 (-.f64 x (.f64 z y)) (-.f64 t (.f64 z a)))
7.0ms	(/.f64 (-.f64 x (.f64 z y)) (-.f64 t (.f64 z a)))
7.0ms	(/.f64 (-.f64 x (.f64 z y)) (-.f64 t (.f64 z a)))
6.0ms	(cbrt.f64 (/.f64 (-.f64 x (.f64 z y)) (-.f64 t (.f64 z a))))

Compiler

Compiled 6031 to 530 computations (91.2% saved)

series1.7s (17.8%)

Error

0.4b

Counts

4 → 112

Calls

4 calls:

522.0ms	(cbrt.f64 (/.f64 (-.f64 x (.f64 z y)) (-.f64 t (.f64 z a))))
384.0ms	(/.f64 (-.f64 x (.f64 z y)) (-.f64 t (.f64 z a)))
366.0ms	(/.f64 (-.f64 x (.f64 z y)) (-.f64 t (.f64 z a)))
357.0ms	(/.f64 (-.f64 x (.f64 z y)) (-.f64 t (.f64 z a)))

Compiler

Compiled 14380 to 5931 computations (58.8% saved)

simplify117.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

232 → 232

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4964	5766
1	4964	5766

prune225.0ms (2.3%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	232	0	232
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	232	10	242

Error

0.4b

Counts

242 → 10

Compiler

Compiled 10525 to 799 computations (92.4% saved)

regimes1.3s (13.1%)

Accuracy

Total 1.7b remaining (80.1%)

Threshold costs 0b (0%)

Compiler

Compiled 9230 to 6066 computations (34.3% saved)

bsearch4.0ms (0%)

Compiler: Compiled 11 to 10 computations (9.1% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	113	125
1	113	125

end0.0ms (0%)

sample1.8s (18.2%)

Algorithm

1×

intervals

Results

314.0ms	8000×	body	128	valid
27.0ms	744×	body	128	invalid

Compiler

Compiled 1657 to 1058 computations (36.1% saved)

Details

analyze1.1s (11.3%)

sample30.0ms (0.3%)

simplify172.0ms (1.8%)

prune2.0ms (0%)

localize9.0ms (0.1%)

rewrite71.0ms (0.7%)

series556.0ms (5.7%)

simplify64.0ms (0.7%)

prune91.0ms (0.9%)

localize10.0ms (0.1%)

rewrite108.0ms (1.1%)

series601.0ms (6.1%)

simplify77.0ms (0.8%)

prune126.0ms (1.3%)

localize10.0ms (0.1%)

rewrite164.0ms (1.7%)

series966.0ms (9.8%)

simplify117.0ms (1.2%)

prune182.0ms (1.9%)

localize14.0ms (0.1%)

rewrite168.0ms (1.7%)

series1.7s (17.8%)

simplify117.0ms (1.2%)

prune225.0ms (2.3%)

regimes1.3s (13.1%)

bsearch4.0ms (0%)

simplify5.0ms (0.1%)

end0.0ms (0%)

sample1.8s (18.2%)

Profiling