Details

analyze2.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1

Compiler

Compiled 22 to 18 computations (18.2% saved)

sample20.0ms (0.1%)

Algorithm

1×

intervals

Results

10.0ms	256×	body	128	valid
5.0ms	256×	pre	128	true

Compiler

Compiled 37 to 33 computations (10.8% saved)

simplify238.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (140.0ms)

Iter	Nodes	Cost
0	5255	22

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

52.0b

Counts

2 → 1

Compiler

Compiled 15 to 13 computations (13.3% saved)

localize9.0ms (0.1%)

Local error

Found 2 expressions with local error:

23.0b	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
23.0b	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

rewrite8.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`cancel-sign-sub-inv_binary64_1749`
3×	`add-sqr-sqrt_binary64_1805` `add-cube-cbrt_binary64_1818` `unpow-prod-down_binary64_1862` `*-un-lft-identity_binary64_1783` `add-log-exp_binary64_1822`
1×	`flip3--_binary64_1787` `add-cbrt-cube_binary64_1819` `sqr-pow_binary64_1755` `add-exp-log_binary64_1821` `diff-log_binary64_1875` `flip--_binary64_1758` `sub-neg_binary64_1776` `pow1_binary64_1844`

Counts

1 → 18

Calls

2 calls:

7.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
0.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

series193.0ms (1.2%)

Counts

1 → 12

Calls

1 calls:

193.0ms

(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

Compiler

Compiled 246 to 216 computations (12.2% saved)

simplify80.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	5269	370

prune38.0ms (0.2%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	19	11	30
Fresh	0	0	0
Picked	0	0	0
Done	0	1	1
Total	19	12	31

Error

52.0b

Counts

31 → 12

Compiler

Compiled 494 to 390 computations (21.1% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

23.0b	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
1.0b	(cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))
1.0b	(cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))
23.0b	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

rewrite18.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`cbrt-prod_binary64_1814`
7×	`add-sqr-sqrt_binary64_1805` `add-cube-cbrt_binary64_1818` `cancel-sign-sub-inv_binary64_1749` `*-un-lft-identity_binary64_1783`
6×	`unpow-prod-down_binary64_1862`
4×	`add-log-exp_binary64_1822`
3×	`cube-prod_binary64_1811`
2×	`flip3--_binary64_1787` `add-cbrt-cube_binary64_1819` `sqr-pow_binary64_1755` `add-exp-log_binary64_1821` `cbrt-div_binary64_1815` `cube-div_binary64_1812` `flip--_binary64_1758` `pow1_binary64_1844`
1×	`rem-cbrt-cube_binary64_1807` `cube-mult_binary64_1813` `unpow3_binary64_1849` `diff-log_binary64_1875` `pow1/3_binary64_1865` `sub-neg_binary64_1776`

Counts

2 → 41

Calls

4 calls:

7.0ms	(cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))
7.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
0.0ms	(cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))
0.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

series395.0ms (2.5%)

Counts

2 → 24

Calls

2 calls:

201.0ms	(cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))
194.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

Compiler

Compiled 546 to 486 computations (11% saved)

simplify52.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

65 → 65

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5079	1024

localize7.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize10.0ms (0.1%)

Local error

Found 2 expressions with local error:

23.0b	(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
23.0b	(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-log-exp_binary64_1822`
2×	`sum-log_binary64_1874`
1×	`add-cbrt-cube_binary64_1819` `unsub-neg_binary64_1777` `+-commutative_binary64_1713` `add-sqr-sqrt_binary64_1805` `add-exp-log_binary64_1821` `add-cube-cbrt_binary64_1818` `flip-+_binary64_1757` `*-un-lft-identity_binary64_1783` `neg-sub0_binary64_1778` `flip3-+_binary64_1786` `neg-log_binary64_1876` `associate-+r-_binary64_1717` `pow1_binary64_1844`

Counts

1 → 14

Calls

2 calls:

8.0ms	(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
0.0ms	(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))

series195.0ms (1.2%)

Counts

1 → 12

Calls

1 calls:

194.0ms

(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))

Compiler

Compiled 246 to 216 computations (12.2% saved)

simplify84.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

26 → 26

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	5029	344

localize11.0ms (0.1%)

Local error

Found 2 expressions with local error:

23.0b	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
23.0b	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

rewrite8.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`cancel-sign-sub-inv_binary64_1749`
3×	`add-sqr-sqrt_binary64_1805` `add-cube-cbrt_binary64_1818` `unpow-prod-down_binary64_1862` `*-un-lft-identity_binary64_1783` `add-log-exp_binary64_1822`
1×	`flip3--_binary64_1787` `add-cbrt-cube_binary64_1819` `sqr-pow_binary64_1755` `add-exp-log_binary64_1821` `diff-log_binary64_1875` `flip--_binary64_1758` `sub-neg_binary64_1776` `pow1_binary64_1844`

Counts

1 → 18

Calls

2 calls:

7.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
0.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

series190.0ms (1.2%)

Counts

1 → 12

Calls

1 calls:

190.0ms

(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

Compiler

Compiled 282 to 252 computations (10.6% saved)

simplify73.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	5269	370

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

24.0b	(-.f64 (*.f64 81 (pow.f64 x 8)) (pow.f64 y 8))
1.0b	(*.f64 81 (pow.f64 x 8))
1.0b	(*.f64 81 (pow.f64 x 8))
24.0b	(-.f64 (*.f64 81 (pow.f64 x 8)) (pow.f64 y 8))

rewrite17.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-sqr-sqrt_binary64_1805`
7×	`add-exp-log_binary64_1821` `add-cube-cbrt_binary64_1818` `cancel-sign-sub-inv_binary64_1749` `unpow-prod-down_binary64_1862` `-un-lft-identity_binary64_1783` `associate-r*_binary64_1723`
4×	`add-cbrt-cube_binary64_1819` `add-log-exp_binary64_1822`
3×	`sqr-pow_binary64_1755` `prod-exp_binary64_1832` `associate-l_binary64_1724` `unswap-sqr_binary64_1751`
2×	`pow1_binary64_1844`
1×	`flip3--_binary64_1787` `cbrt-unprod_binary64_1816` `diff-log_binary64_1875` `*-commutative_binary64_1714` `flip--_binary64_1758` `pow-to-exp_binary64_1852` `sub-neg_binary64_1776` `pow-exp_binary64_1851`

Counts

2 → 43

Calls

4 calls:

7.0ms	(-.f64 (*.f64 81 (pow.f64 x 8)) (pow.f64 y 8))
6.0ms	(*.f64 81 (pow.f64 x 8))
0.0ms	(*.f64 81 (pow.f64 x 8))
0.0ms	(-.f64 (*.f64 81 (pow.f64 x 8)) (pow.f64 y 8))

series127.0ms (0.8%)

Counts

2 → 9

Calls

2 calls:

83.0ms	(-.f64 (*.f64 81 (pow.f64 x 8)) (pow.f64 y 8))
43.0ms	(*.f64 81 (pow.f64 x 8))

Compiler

Compiled 402 to 342 computations (14.9% saved)

simplify62.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5167	556

prune321.0ms (2%)

Pruning

51 alts after pruning (45 fresh and 6 done)

	Pruned	Kept	Total
New	132	41	173
Fresh	2	4	6
Picked	0	0	0
Done	0	6	6
Total	134	51	185

Error

52.0b

Counts

185 → 51

Compiler

Compiled 3158 to 2494 computations (21% saved)

localize16.0ms (0.1%)

Local error

Found 6 expressions with local error:

23.0b	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
1.0b	(cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))
1.0b	(cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3)) 3))
1.0b	(cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))
1.0b	(cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3)) 3))
23.0b	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

rewrite41.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

72×	`cbrt-prod_binary64_1814`
27×	`unpow-prod-down_binary64_1862`
24×	`cube-prod_binary64_1811`
17×	`add-sqr-sqrt_binary64_1805` `add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
7×	`cancel-sign-sub-inv_binary64_1749`
6×	`cbrt-div_binary64_1815` `cube-div_binary64_1812`
5×	`sqr-pow_binary64_1755` `add-log-exp_binary64_1822`
4×	`cube-mult_binary64_1813` `unpow3_binary64_1849`
3×	`flip3--_binary64_1787` `add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821` `flip--_binary64_1758` `pow1_binary64_1844`
2×	`rem-cbrt-cube_binary64_1807` `pow1/3_binary64_1865`
1×	`diff-log_binary64_1875` `sub-neg_binary64_1776`

Counts

3 → 88

Calls

6 calls:

15.0ms	(cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3)) 3))
8.0ms	(cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))
7.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
0.0ms	(cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3)) 3))
0.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

series577.0ms (3.6%)

Counts

3 → 36

Calls

3 calls:

193.0ms

(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

193.0ms

(cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))

191.0ms

(cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3)) 3))

Compiler

Compiled 900 to 810 computations (10% saved)

simplify95.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4975	2356
1	4975	2356

localize7.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

62.0b	(log.f64 (exp.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))
23.0b	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
23.0b	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
62.0b	(log.f64 (exp.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))

rewrite19.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`cancel-sign-sub-inv_binary64_1749`
11×	`log-prod_binary64_1869`
8×	`add-sqr-sqrt_binary64_1805` `exp-sum_binary64_1829` `add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
6×	`unpow-prod-down_binary64_1862`
4×	`log-pow_binary64_1872` `add-log-exp_binary64_1822`
3×	`exp-prod_binary64_1835` `pow1_binary64_1844`
2×	`add-cbrt-cube_binary64_1819` `sqr-pow_binary64_1755` `add-exp-log_binary64_1821` `sub-neg_binary64_1776`
1×	`flip3--_binary64_1787` `exp-diff_binary64_1831` `diff-log_binary64_1875` `flip--_binary64_1758` `rem-log-exp_binary64_1824` `log-div_binary64_1870`

Counts

2 → 42

Calls

4 calls:

8.0ms	(log.f64 (exp.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))
7.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
0.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
0.0ms	(log.f64 (exp.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))

series231.0ms (1.5%)

Counts

2 → 12

Calls

2 calls:

172.0ms	(log.f64 (exp.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))
59.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

Compiler

Compiled 376 to 336 computations (10.6% saved)

simplify87.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

54 → 54

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	4934	757
1	4934	757

localize19.0ms (0.1%)

Local error

Found 6 expressions with local error:

24.0b	(-.f64 (exp.f64 (log.f64 (*.f64 81 (pow.f64 x 8)))) (pow.f64 y 8))
5.2b	(exp.f64 (log.f64 (*.f64 81 (pow.f64 x 8))))
1.0b	(*.f64 81 (pow.f64 x 8))
1.0b	(*.f64 81 (pow.f64 x 8))
5.2b	(exp.f64 (log.f64 (*.f64 81 (pow.f64 x 8))))
24.0b	(-.f64 (exp.f64 (log.f64 (*.f64 81 (pow.f64 x 8)))) (pow.f64 y 8))

rewrite26.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64_1805`
11×	`*-un-lft-identity_binary64_1783`
9×	`add-cube-cbrt_binary64_1818`
8×	`add-exp-log_binary64_1821` `unpow-prod-down_binary64_1862`
7×	`cancel-sign-sub-inv_binary64_1749` `associate-r_binary64_1723`
5×	`add-cbrt-cube_binary64_1819` `add-log-exp_binary64_1822`
4×	`sqr-pow_binary64_1755` `exp-prod_binary64_1835` `pow1_binary64_1844`
3×	`difference-of-squares_binary64_1752` `prod-exp_binary64_1832` `associate-l_binary64_1724` `unswap-sqr_binary64_1751`
1×	`flip3--_binary64_1787` `rem-exp-log_binary64_1823` `log-prod_binary64_1869` `log-pow_binary64_1872` `exp-sum_binary64_1829` `cbrt-unprod_binary64_1816` `distribute-lft-out--_binary64_1735` `diff-log_binary64_1875` `*-commutative_binary64_1714` `flip--_binary64_1758` `pow-to-exp_binary64_1852` `sub-neg_binary64_1776` `pow-exp_binary64_1851`

Counts

3 → 60

Calls

6 calls:

10.0ms	(-.f64 (exp.f64 (log.f64 (*.f64 81 (pow.f64 x 8)))) (pow.f64 y 8))
6.0ms	(*.f64 81 (pow.f64 x 8))
4.0ms	(exp.f64 (log.f64 (*.f64 81 (pow.f64 x 8))))
0.0ms	(*.f64 81 (pow.f64 x 8))
0.0ms	(-.f64 (exp.f64 (log.f64 (*.f64 81 (pow.f64 x 8)))) (pow.f64 y 8))

series326.0ms (2.1%)

Counts

3 → 12

Calls

3 calls:

188.0ms	(-.f64 (exp.f64 (log.f64 (*.f64 81 (pow.f64 x 8)))) (pow.f64 y 8))
99.0ms	(exp.f64 (log.f64 (*.f64 81 (pow.f64 x 8))))
39.0ms	(*.f64 81 (pow.f64 x 8))

Compiler

Compiled 644 to 554 computations (14% saved)

simplify112.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 0 (98.0ms)

Iter	Nodes	Cost
0	4876	819
1	4876	819

localize20.0ms (0.1%)

Local error

Found 6 expressions with local error:

24.0b	(-.f64 (.f64 (.f64 81 (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 8)) (pow.f64 (cbrt.f64 x) 8)) (pow.f64 y 8))
1.0b	(pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 8)
1.0b	(pow.f64 (cbrt.f64 x) 8)
1.0b	(pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 8)
1.0b	(pow.f64 (cbrt.f64 x) 8)
24.0b	(-.f64 (.f64 (.f64 81 (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 8)) (pow.f64 (cbrt.f64 x) 8)) (pow.f64 y 8))

rewrite26.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`pow1_binary64_1844`
11×	`pow-pow_binary64_1855`
10×	`unpow-prod-down_binary64_1862`
9×	`add-sqr-sqrt_binary64_1805` `add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
7×	`add-exp-log_binary64_1821` `cancel-sign-sub-inv_binary64_1749` `pow1/3_binary64_1865`
6×	`pow-unpow_binary64_1860`
5×	`add-log-exp_binary64_1822`
3×	`add-cbrt-cube_binary64_1819` `sqr-pow_binary64_1755` `cbrt-prod_binary64_1814` `pow-exp_binary64_1851`
2×	`pow-prod-up_binary64_1853` `pow-sqr_binary64_1756` `pow-prod-down_binary64_1854` `pow-to-exp_binary64_1852`
1×	`flip3--_binary64_1787` `prod-exp_binary64_1832` `pow-plus_binary64_1846` `diff-log_binary64_1875` `flip--_binary64_1758` `sub-neg_binary64_1776` `pow2_binary64_1864`

Counts

3 → 63

Calls

6 calls:

11.0ms	(-.f64 (.f64 (.f64 81 (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 8)) (pow.f64 (cbrt.f64 x) 8)) (pow.f64 y 8))
6.0ms	(pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 8)
3.0ms	(pow.f64 (cbrt.f64 x) 8)
0.0ms	(pow.f64 (cbrt.f64 x) 8)
0.0ms	(-.f64 (.f64 (.f64 81 (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 8)) (pow.f64 (cbrt.f64 x) 8)) (pow.f64 y 8))

series424.0ms (2.7%)

Counts

3 → 12

Calls

3 calls:

156.0ms	(pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 8)
138.0ms	(pow.f64 (cbrt.f64 x) 8)
130.0ms	(-.f64 (.f64 (.f64 81 (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 8)) (pow.f64 (cbrt.f64 x) 8)) (pow.f64 y 8))

Compiler

Compiled 684 to 576 computations (15.8% saved)

simplify80.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4882	705
1	4882	705

prune760.0ms (4.8%)

Pruning

95 alts after pruning (84 fresh and 11 done)

	Pruned	Kept	Total
New	276	49	325
Fresh	5	35	40
Picked	0	0	0
Done	0	11	11
Total	281	95	376

Error

52.0b

Counts

376 → 95

Compiler

Compiled 6979 to 5400 computations (22.6% saved)

localize16.0ms (0.1%)

Local error

Found 6 expressions with local error:

23.0b	(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
1.0b	(cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4))) 3)) 3))
1.0b	(cbrt.f64 (pow.f64 (+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4))) 3))
1.0b	(cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4))) 3)) 3))
1.0b	(cbrt.f64 (pow.f64 (+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4))) 3))
23.0b	(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))

rewrite41.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

72×	`cbrt-prod_binary64_1814`
24×	`unpow-prod-down_binary64_1862` `cube-prod_binary64_1811`
15×	`add-sqr-sqrt_binary64_1805` `add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
7×	`add-log-exp_binary64_1822`
6×	`cbrt-div_binary64_1815` `cube-div_binary64_1812`
4×	`sqr-pow_binary64_1755` `cube-mult_binary64_1813` `unpow3_binary64_1849`
3×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821` `flip-+_binary64_1757` `flip3-+_binary64_1786` `pow1_binary64_1844`
2×	`rem-cbrt-cube_binary64_1807` `sum-log_binary64_1874` `pow1/3_binary64_1865`
1×	`unsub-neg_binary64_1777` `+-commutative_binary64_1713` `neg-sub0_binary64_1778` `neg-log_binary64_1876` `associate-+r-_binary64_1717`

Counts

3 → 84

Calls

6 calls:

14.0ms	(cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4))) 3)) 3))
9.0ms	(cbrt.f64 (pow.f64 (+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4))) 3))
8.0ms	(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
0.0ms	(cbrt.f64 (pow.f64 (+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4))) 3))
0.0ms	(cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4))) 3)) 3))

series594.0ms (3.7%)

Counts

3 → 36

Calls

3 calls:

201.0ms

(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))

199.0ms

(cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4))) 3)) 3))

194.0ms

(cbrt.f64 (pow.f64 (+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4))) 3))

Compiler

Compiled 900 to 810 computations (10% saved)

simplify104.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	4890	2330
1	4890	2330

localize8.0ms (0.1%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize17.0ms (0.1%)

Local error

Found 2 expressions with local error:

24.0b	(-.f64 (cbrt.f64 (*.f64 531441 (pow.f64 x 24))) (pow.f64 y 8))
24.0b	(-.f64 (cbrt.f64 (*.f64 531441 (pow.f64 x 24))) (pow.f64 y 8))

rewrite10.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-sqr-sqrt_binary64_1805`
7×	`cancel-sign-sub-inv_binary64_1749`
5×	`*-un-lft-identity_binary64_1783`
4×	`unpow-prod-down_binary64_1862`
3×	`difference-of-squares_binary64_1752` `add-cube-cbrt_binary64_1818` `add-log-exp_binary64_1822`
2×	`sqr-pow_binary64_1755`
1×	`flip3--_binary64_1787` `add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821` `distribute-lft-out--_binary64_1735` `diff-log_binary64_1875` `flip--_binary64_1758` `sub-neg_binary64_1776` `pow1_binary64_1844`

Counts

1 → 22

Calls

2 calls:

8.0ms	(-.f64 (cbrt.f64 (*.f64 531441 (pow.f64 x 24))) (pow.f64 y 8))
0.0ms	(-.f64 (cbrt.f64 (*.f64 531441 (pow.f64 x 24))) (pow.f64 y 8))

series102.0ms (0.6%)

Counts

1 → 6

Calls

1 calls:

102.0ms

(-.f64 (cbrt.f64 (*.f64 531441 (pow.f64 x 24))) (pow.f64 y 8))

Compiler

Compiled 258 to 222 computations (14% saved)

simplify83.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

28 → 28

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	4938	459
1	4938	459

localize19.0ms (0.1%)

Local error

Found 8 expressions with local error:

62.0b	(log.f64 (exp.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))
23.0b	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
1.0b	(cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (log.f64 (exp.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) 3)) 3))
1.0b	(cbrt.f64 (pow.f64 (log.f64 (exp.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) 3))
1.0b	(cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (log.f64 (exp.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) 3)) 3))
1.0b	(cbrt.f64 (pow.f64 (log.f64 (exp.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) 3))
23.0b	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
62.0b	(log.f64 (exp.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))

rewrite55.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

112×	`cbrt-prod_binary64_1814`
50×	`unpow-prod-down_binary64_1862`
44×	`cube-prod_binary64_1811`
28×	`log-pow_binary64_1872` `add-sqr-sqrt_binary64_1805` `add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
21×	`exp-prod_binary64_1835`
14×	`cancel-sign-sub-inv_binary64_1749`
11×	`log-prod_binary64_1869` `pow1_binary64_1844`
8×	`exp-sum_binary64_1829`
6×	`sqr-pow_binary64_1755` `add-log-exp_binary64_1822`
4×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821` `cube-mult_binary64_1813` `unpow3_binary64_1849`
2×	`rem-cbrt-cube_binary64_1807` `pow1/3_binary64_1865` `sub-neg_binary64_1776`
1×	`flip3--_binary64_1787` `exp-diff_binary64_1831` `diff-log_binary64_1875` `flip--_binary64_1758` `rem-log-exp_binary64_1824` `log-div_binary64_1870`

Counts

4 → 132

Calls

8 calls:

14.0ms	(cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (log.f64 (exp.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) 3)) 3))
9.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
8.0ms	(log.f64 (exp.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))
8.0ms	(cbrt.f64 (pow.f64 (log.f64 (exp.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) 3))
0.0ms	(cbrt.f64 (pow.f64 (log.f64 (exp.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) 3))

series569.0ms (3.6%)

Counts

4 → 24

Calls

4 calls:

175.0ms	(cbrt.f64 (pow.f64 (log.f64 (exp.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) 3))
170.0ms	(log.f64 (exp.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))
169.0ms	(cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (log.f64 (exp.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) 3)) 3))
54.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

Compiler

Compiled 948 to 864 computations (8.9% saved)

simplify91.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

156 → 156

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4920	3043
1	4920	3043

localize18.0ms (0.1%)

Local error

Found 8 expressions with local error:

23.0b	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
23.0b	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
1.0b	(pow.f64 (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) 6)
1.0b	(cbrt.f64 (pow.f64 (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) 6)) (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) 3))
1.0b	(pow.f64 (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) 6)
1.0b	(cbrt.f64 (pow.f64 (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) 6)) (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) 3))
23.0b	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
23.0b	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

rewrite40.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`cancel-sign-sub-inv_binary64_1749`
13×	`unpow-prod-down_binary64_1862`
12×	`add-sqr-sqrt_binary64_1805` `add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
11×	`cbrt-prod_binary64_1814`
8×	`add-log-exp_binary64_1822`
5×	`add-exp-log_binary64_1821` `pow1_binary64_1844`
4×	`add-cbrt-cube_binary64_1819` `sqr-pow_binary64_1755` `cbrt-div_binary64_1815`
3×	`flip3--_binary64_1787` `pow-unpow_binary64_1860` `flip--_binary64_1758`
2×	`associate-*r/_binary64_1725` `diff-log_binary64_1875` `pow-pow_binary64_1855` `pow1/3_binary64_1865` `cube-div_binary64_1812` `sub-neg_binary64_1776`
1×	`rem-cbrt-cube_binary64_1807` `cube-mult_binary64_1813` `unpow3_binary64_1849` `pow-to-exp_binary64_1852` `pow-exp_binary64_1851` `cube-prod_binary64_1811`

Counts

4 → 76

Calls

8 calls:

10.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
8.0ms	(pow.f64 (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) 6)
7.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
5.0ms	(cbrt.f64 (pow.f64 (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) 6)) (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) 3))
0.0ms	(cbrt.f64 (pow.f64 (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) 6)) (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) 3))

series1.3s (8%)

Counts

4 → 45

Calls

4 calls:

666.0ms	(pow.f64 (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) 6)
205.0ms	(cbrt.f64 (pow.f64 (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) 6)) (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) 3))
202.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
200.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

Compiler

Compiled 2071 to 1836 computations (11.3% saved)

simplify81.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5021	1843

prune716.0ms (4.5%)

Pruning

126 alts after pruning (110 fresh and 16 done)

	Pruned	Kept	Total
New	379	46	425
Fresh	15	64	79
Picked	0	0	0
Done	0	16	16
Total	394	126	520

Error

52.0b

Counts

520 → 126

Compiler

Compiled 4369 to 3424 computations (21.6% saved)

simplify136.0ms (0.9%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (21.0ms)

Iter	Nodes	Cost
0	1271	10473
1	1271	10473

regimes1.4s (9%)

Accuracy

Total 0b remaining (0%)

Threshold costs 0b (0%)

Compiler

Compiled 23915 to 20544 computations (14.1% saved)

bsearch0.0ms (0%)

Compiler: Compiled 1 to 3 computations (-200% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	3	1
1	3	1

end0.0ms (0%)

sample5.4s (33.9%)

Algorithm

1×

intervals

Results

321.0ms	8000×	body	128	valid
154.0ms	8000×	pre	128	true

Compiler

Compiled 4797 to 4124 computations (14% saved)

Pareto

Details

analyze2.0ms (0%)

sample20.0ms (0.1%)

simplify238.0ms (1.5%)

prune2.0ms (0%)

localize9.0ms (0.1%)

rewrite8.0ms (0.1%)

series193.0ms (1.2%)

simplify80.0ms (0.5%)

prune38.0ms (0.2%)

localize12.0ms (0.1%)

rewrite18.0ms (0.1%)

series395.0ms (2.5%)

simplify52.0ms (0.3%)

localize7.0ms (0%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify6.0ms (0%)

localize10.0ms (0.1%)

rewrite9.0ms (0.1%)

series195.0ms (1.2%)

simplify84.0ms (0.5%)

localize11.0ms (0.1%)

rewrite8.0ms (0.1%)

series190.0ms (1.2%)

simplify73.0ms (0.5%)

localize18.0ms (0.1%)

rewrite17.0ms (0.1%)

series127.0ms (0.8%)

simplify62.0ms (0.4%)

prune321.0ms (2%)

localize16.0ms (0.1%)

rewrite41.0ms (0.3%)

series577.0ms (3.6%)

simplify95.0ms (0.6%)

localize7.0ms (0%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify6.0ms (0%)

localize13.0ms (0.1%)

rewrite19.0ms (0.1%)

series231.0ms (1.5%)

simplify87.0ms (0.5%)

localize19.0ms (0.1%)

rewrite26.0ms (0.2%)

series326.0ms (2.1%)

simplify112.0ms (0.7%)

localize20.0ms (0.1%)

rewrite26.0ms (0.2%)

series424.0ms (2.7%)

simplify80.0ms (0.5%)

prune760.0ms (4.8%)

localize16.0ms (0.1%)

rewrite41.0ms (0.3%)

series594.0ms (3.7%)

simplify104.0ms (0.7%)

localize8.0ms (0.1%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify7.0ms (0%)

localize17.0ms (0.1%)

rewrite10.0ms (0.1%)

series102.0ms (0.6%)

simplify83.0ms (0.5%)

localize19.0ms (0.1%)

rewrite55.0ms (0.3%)

series569.0ms (3.6%)

simplify91.0ms (0.6%)

localize18.0ms (0.1%)

rewrite40.0ms (0.3%)

series1.3s (8%)

simplify81.0ms (0.5%)

prune716.0ms (4.5%)

simplify136.0ms (0.9%)

regimes1.4s (9%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample5.4s (33.9%)

Profiling