Details

analyze1.9s (14.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	99.6%	0.4%	8
0%	99.6%	0.4%	9
0%	99.6%	0.4%	10
0%	99.6%	0.4%	11
0%	99.6%	0.4%	12
0%	99.6%	0.4%	13
0%	99.6%	0.4%	14

Compiler

Compiled 34 to 27 computations (20.6% saved)

sample37.0ms (0.3%)

Algorithm

1×

intervals

Results

20.0ms	256×	body	128	valid
1.0ms	9×	body	128	invalid

Compiler

Compiled 67 to 61 computations (9% saved)

simplify286.0ms (2.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (123.0ms)

Iter	Nodes	Cost
0	4952	49
1	4952	49

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

Merged error: 29.3b

Counts

2 → 1

Compiler

Compiled 66 to 52 computations (21.2% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y)
0.1b	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y)
0.1b	(.f64 (+.f64 (.f64 x y) z) y)
28.5b	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))

rewrite81.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64_1783`
18×	`*-un-lft-identity_binary64_1762` `add-cube-cbrt_binary64_1794`
12×	`add-cbrt-cube_binary64_1795` `add-exp-log_binary64_1797`
10×	`pow1_binary64_1820`
9×	`times-frac_binary64_1768` `associate-l_binary64_1705` `associate-r_binary64_1704`
6×	`associate-*l/_binary64_1707`
5×	`flip3-+_binary64_1765` `flip-+_binary64_1736`
4×	`add-log-exp_binary64_1798`
3×	`pow-prod-down_binary64_1830` `prod-exp_binary64_1808` `associate-/r_binary64_1708` `unswap-sqr_binary64_1730` `cbrt-unprod_binary64_1792` `-commutative_binary64_1695` `associate-/l*_binary64_1709`
2×	`associate-/r/_binary64_1710` `associate-/l/_binary64_1711`
1×	`frac-2neg_binary64_1773` `clear-num_binary64_1761` `div-inv_binary64_1759` `cbrt-undiv_binary64_1793` `div-exp_binary64_1810`

Counts

4 → 91

Calls

4 calls:

34.0ms	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
15.0ms	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y)
12.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y)
8.0ms	(.f64 (+.f64 (.f64 x y) z) y)

series1.1s (8.3%)

Counts

4 → 12

Calls

4 calls:

768.0ms	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
135.0ms	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y)
102.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y)
60.0ms	(.f64 (+.f64 (.f64 x y) z) y)

simplify93.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	5566	3432

prune194.0ms (1.5%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	93	10	103
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	93	11	104

Merged error: 28.3b

Counts

104 → 11

Compiler

Compiled 5047 to 1615 computations (68% saved)

localize31.0ms (0.2%)

Local error

Found 4 expressions with local error:

18.4b	(cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184))
18.4b	(cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184))
18.4b	(cbrt.f64 (+.f64 (.f64 y (+.f64 (.f64 x y) z)) 471841060772561/17179869184))
28.5b	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184)) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184))) (.f64 y (cbrt.f64 (+.f64 (.f64 y (+.f64 (.f64 x y) z)) 471841060772561/17179869184)))) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))

rewrite101.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`add-sqr-sqrt_binary64_1783` `*-un-lft-identity_binary64_1762` `add-cube-cbrt_binary64_1794`
9×	`times-frac_binary64_1768` `cbrt-prod_binary64_1790`
6×	`cbrt-div_binary64_1791` `add-cbrt-cube_binary64_1795` `add-exp-log_binary64_1797`
5×	`flip3-+_binary64_1765` `flip-+_binary64_1736`
4×	`add-log-exp_binary64_1798` `pow1_binary64_1820`
3×	`pow1/3_binary64_1841` `associate-/r_binary64_1708` `associate-/l_binary64_1709`
2×	`associate-/r/_binary64_1710` `associate-/l/_binary64_1711`
1×	`frac-2neg_binary64_1773` `clear-num_binary64_1761` `div-inv_binary64_1759` `cbrt-undiv_binary64_1793` `div-exp_binary64_1810`

Counts

4 → 70

Calls

4 calls:

62.0ms	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184)) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184))) (.f64 y (cbrt.f64 (+.f64 (.f64 y (+.f64 (.f64 x y) z)) 471841060772561/17179869184)))) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
9.0ms	(cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184))
8.0ms	(cbrt.f64 (+.f64 (.f64 y (+.f64 (.f64 x y) z)) 471841060772561/17179869184))
8.0ms	(cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184))

series1.6s (12.5%)

Counts

4 → 12

Calls

4 calls:

804.0ms	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184)) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184))) (.f64 y (cbrt.f64 (+.f64 (.f64 y (+.f64 (.f64 x y) z)) 471841060772561/17179869184)))) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
288.0ms	(cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184))
282.0ms	(cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184))
235.0ms	(cbrt.f64 (+.f64 (.f64 y (+.f64 (.f64 x y) z)) 471841060772561/17179869184))

simplify91.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4895	3271
1	4895	3271

prune172.0ms (1.3%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	82	0	82
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	82	11	93

Merged error: 28.3b

Counts

93 → 11

Compiler

Compiled 5507 to 1893 computations (65.6% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 y (+.f64 (.f64 y (+.f64 (*.f64 x y) z)) 471841060772561/17179869184))
0.1b	(.f64 y (+.f64 (.f64 x y) z))
0.4b	(/.f64 1 (/.f64 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 y a)) b)) c)) i) (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (*.f64 x y) z)) 471841060772561/17179869184)) 7925469156333415/34359738368)) t)))
28.7b	(/.f64 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 y a)) b)) c)) i) (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (*.f64 x y) z)) 471841060772561/17179869184)) 7925469156333415/34359738368)) t))

rewrite112.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

90×	`times-frac_binary64_1768`
64×	`add-sqr-sqrt_binary64_1783`
60×	`*-un-lft-identity_binary64_1762` `add-cube-cbrt_binary64_1794`
21×	`add-exp-log_binary64_1797`
18×	`associate-/r*_binary64_1708`
15×	`add-cbrt-cube_binary64_1795`
11×	`associate-/r/_binary64_1710`
9×	`pow1_binary64_1820`
8×	`flip3-+_binary64_1765` `flip-+_binary64_1736` `div-exp_binary64_1810`
6×	`div-inv_binary64_1759` `associate-/l_binary64_1709` `associate-l_binary64_1705` `associate-r*_binary64_1704`
4×	`cbrt-undiv_binary64_1793` `add-log-exp_binary64_1798` `associate-*r/_binary64_1706`
2×	`frac-2neg_binary64_1773` `pow-prod-down_binary64_1830` `associate-/l/_binary64_1711` `prod-exp_binary64_1808` `clear-num_binary64_1761` `unswap-sqr_binary64_1730` `cbrt-unprod_binary64_1792` `distribute-rgt-in_binary64_1714` `*-commutative_binary64_1695` `distribute-lft-in_binary64_1713` `1-exp_binary64_1803` `rec-exp_binary64_1809`
1×	`inv-pow_binary64_1844` `pow-flip_binary64_1833`

Counts

4 → 159

Calls

4 calls:

33.0ms	(/.f64 1 (/.f64 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 y a)) b)) c)) i) (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (*.f64 x y) z)) 471841060772561/17179869184)) 7925469156333415/34359738368)) t)))
32.0ms	(/.f64 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 y a)) b)) c)) i) (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (*.f64 x y) z)) 471841060772561/17179869184)) 7925469156333415/34359738368)) t))
12.0ms	(.f64 y (+.f64 (.f64 y (+.f64 (*.f64 x y) z)) 471841060772561/17179869184))
8.0ms	(.f64 y (+.f64 (.f64 x y) z))

series2.1s (16.2%)

Counts

4 → 12

Calls

4 calls:

1.1s	(/.f64 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 y a)) b)) c)) i) (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (*.f64 x y) z)) 471841060772561/17179869184)) 7925469156333415/34359738368)) t))
847.0ms	(/.f64 1 (/.f64 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 y a)) b)) c)) i) (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (*.f64 x y) z)) 471841060772561/17179869184)) 7925469156333415/34359738368)) t)))
67.0ms	(.f64 y (+.f64 (.f64 y (+.f64 (*.f64 x y) z)) 471841060772561/17179869184))
56.0ms	(.f64 y (+.f64 (.f64 x y) z))

simplify123.0ms (1%)

Algorithm

1×	egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5094	9680

prune310.0ms (2.4%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	171	0	171
Fresh	0	8	8
Picked	0	1	1
Done	0	2	2
Total	171	11	182

Merged error: 28.3b

Counts

182 → 11

Compiler

Compiled 9537 to 3082 computations (67.7% saved)

localize37.0ms (0.3%)

Local error

Found 4 expressions with local error:

18.4b	(cbrt.f64 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 x y) z)) 471841060772561/17179869184)) 7925469156333415/34359738368)) t))
18.4b	(cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t))
18.4b	(cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t))
24.9b	(/.f64 (.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t)) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t))) (/.f64 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 y a)) b)) c)) i) (cbrt.f64 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 x y) z)) 471841060772561/17179869184)) 7925469156333415/34359738368)) t))))

rewrite144.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

60×	`times-frac_binary64_1768`
33×	`add-sqr-sqrt_binary64_1783` `*-un-lft-identity_binary64_1762` `add-cube-cbrt_binary64_1794`
27×	`cbrt-prod_binary64_1790`
24×	`associate-/r*_binary64_1708`
22×	`cbrt-div_binary64_1791`
16×	`add-exp-log_binary64_1797`
11×	`flip3-+_binary64_1765` `flip-+_binary64_1736`
10×	`add-cbrt-cube_binary64_1795`
8×	`associate-/l/_binary64_1711`
6×	`cbrt-undiv_binary64_1793` `div-exp_binary64_1810`
5×	`associate-/r/_binary64_1710`
4×	`frac-times_binary64_1772` `add-log-exp_binary64_1798` `pow1_binary64_1820`
3×	`pow1/3_binary64_1841` `div-inv_binary64_1759`
2×	`prod-exp_binary64_1808` `associate-l/_binary64_1707` `associate-r/_binary64_1706` `cbrt-unprod_binary64_1792`
1×	`frac-2neg_binary64_1773` `clear-num_binary64_1761` `associate-/l*_binary64_1709`

Counts

4 → 115

Calls

4 calls:

68.0ms	(/.f64 (.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t)) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t))) (/.f64 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 y a)) b)) c)) i) (cbrt.f64 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 x y) z)) 471841060772561/17179869184)) 7925469156333415/34359738368)) t))))
15.0ms	(cbrt.f64 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 x y) z)) 471841060772561/17179869184)) 7925469156333415/34359738368)) t))
15.0ms	(cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t))
15.0ms	(cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t))

series2.1s (16.2%)

Counts

4 → 12

Calls

4 calls:

836.0ms	(/.f64 (.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t)) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t))) (/.f64 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 y a)) b)) c)) i) (cbrt.f64 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 x y) z)) 471841060772561/17179869184)) 7925469156333415/34359738368)) t))))
471.0ms	(cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t))
451.0ms	(cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t))
328.0ms	(cbrt.f64 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 x y) z)) 471841060772561/17179869184)) 7925469156333415/34359738368)) t))

simplify142.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4957	10653
1	4957	10653

prune374.0ms (2.9%)

Pruning

11 alts after pruning (7 fresh and 4 done)

	Pruned	Kept	Total
New	127	0	127
Fresh	0	7	7
Picked	0	1	1
Done	0	3	3
Total	127	11	138

Merged error: 28.3b

Counts

138 → 11

Compiler

Compiled 11376 to 4301 computations (62.2% saved)

regimes323.0ms (2.5%)

Compiler: Compiled 4942 to 3294 computations (33.3% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	42	49
1	42	49

end0.0ms (0%)

sample1.4s (11.1%)

Algorithm

1×

intervals

Results

677.0ms	8000×	body	128	valid
18.0ms	235×	body	128	invalid

Compiler

Compiled 607 to 407 computations (32.9% saved)

Details

analyze1.9s (14.6%)

sample37.0ms (0.3%)

simplify286.0ms (2.2%)

prune3.0ms (0%)

localize22.0ms (0.2%)

rewrite81.0ms (0.6%)

series1.1s (8.3%)

simplify93.0ms (0.7%)

prune194.0ms (1.5%)

localize31.0ms (0.2%)

rewrite101.0ms (0.8%)

series1.6s (12.5%)

simplify91.0ms (0.7%)

prune172.0ms (1.3%)

localize24.0ms (0.2%)

rewrite112.0ms (0.9%)

series2.1s (16.2%)

simplify123.0ms (1%)

prune310.0ms (2.4%)

localize37.0ms (0.3%)

rewrite144.0ms (1.1%)

series2.1s (16.2%)

simplify142.0ms (1.1%)

prune374.0ms (2.9%)

regimes323.0ms (2.5%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample1.4s (11.1%)

Profiling