Details

analyze38.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
50%	50%	0.1%	3
50%	50%	0.1%	4
62.4%	37.5%	0.1%	5
62.4%	31.2%	6.3%	6
68.7%	21.9%	9.5%	7
68.7%	17.2%	14.1%	8
71.8%	11.7%	16.5%	9
71.8%	9%	19.2%	10
73.4%	6%	20.6%	11
73.4%	4.6%	22%	12
74.1%	3.1%	22.8%	13
74.1%	2.3%	23.5%	14

Compiler

Compiled 7 to 7 computations (0% saved)

sample47.0ms (0.1%)

Algorithm

1×

intervals

Results

14.0ms	37×	body	2048	valid
8.0ms	57×	body	1024	valid
4.0ms	42×	body	512	valid
2.0ms	94×	body	128	valid
1.0ms	26×	body	256	valid

Compiler

Compiled 16 to 20 computations (-25% saved)

simplify153.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

4 → 4

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4875	12
1	4875	12

prune5.0ms (0%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	1	3	4
Fresh	0	4	4
Picked	0	0	0
Done	0	0	0
Total	1	7	8

Error

31.8b

Counts

8 → 4

Compiler

Compiled 9 to 9 computations (0% saved)

localize9.0ms (0%)

Local error

Found 2 expressions with local error:

5.2b	(-.f64 (exp.f64 (*.f64 a x)) 1)
5.2b	(-.f64 (exp.f64 (*.f64 a x)) 1)

rewrite10.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-sqr-sqrt_binary64_1464`
5×	`*-un-lft-identity_binary64_1442`
3×	`cancel-sign-sub-inv_binary64_1408` `add-log-exp_binary64_1481`
2×	`difference-of-squares_binary64_1411` `add-cube-cbrt_binary64_1477`
1×	`add-cbrt-cube_binary64_1478` `sub-neg_binary64_1435` `flip3--_binary64_1446` `difference-of-sqr-1_binary64_1412` `add-exp-log_binary64_1480` `flip--_binary64_1417` `diff-log_binary64_1534` `pow1_binary64_1503` `distribute-lft-out--_binary64_1394`

Counts

1 → 18

Calls

2 calls:

9.0ms	(-.f64 (exp.f64 (*.f64 a x)) 1)
0.0ms	(-.f64 (exp.f64 (*.f64 a x)) 1)

series48.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

48.0ms

(-.f64 (exp.f64 (*.f64 a x)) 1)

Compiler

Compiled 192 to 168 computations (12.5% saved)

simplify72.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	5019	446

prune60.0ms (0.1%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	16	14	30
Fresh	0	3	3
Picked	0	0	0
Done	0	1	1
Total	16	18	34

Error

0.0b

Counts

34 → 18

Compiler

Compiled 394 to 244 computations (38.1% saved)

localize10.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(pow.f64 (*.f64 a x) 3)
0.2b	(.f64 1/6 (pow.f64 (.f64 a x) 3))
0.0b	(.f64 1/2 (pow.f64 (.f64 a x) 2))
0.0b	(+.f64 (.f64 a x) (+.f64 (.f64 1/2 (pow.f64 (.f64 a x) 2)) (.f64 1/6 (pow.f64 (*.f64 a x) 3))))
0.2b	(.f64 1/6 (pow.f64 (.f64 a x) 3))
0.2b	(pow.f64 (*.f64 a x) 3)
0.2b	(pow.f64 (*.f64 a x) 2)
8.3b	(+.f64 (.f64 1/2 (pow.f64 (.f64 a x) 2)) (.f64 1/6 (pow.f64 (.f64 a x) 3)))

rewrite27.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-exp-log_binary64_1480`
11×	`add-sqr-sqrt_binary64_1464`
10×	`pow1_binary64_1503`
9×	`add-cbrt-cube_binary64_1478`
8×	`associate-r_binary64_1382` `add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
7×	`prod-exp_binary64_1491`
6×	`pow-exp_binary64_1510` `pow-unpow_binary64_1519` `add-log-exp_binary64_1481`
4×	`sqr-pow_binary64_1414` `pow-pow_binary64_1514`
3×	`associate-l_binary64_1383` `unpow-prod-down_binary64_1521` `pow-to-exp_binary64_1511`
2×	`cube-mult_binary64_1472` `cbrt-unprod_binary64_1475` `cube-prod_binary64_1470` `pow-prod-down_binary64_1513` `rem-cube-cbrt_binary64_1465` `unpow3_binary64_1508` `unswap-sqr_binary64_1410`
1×	`sum-log_binary64_1533` `unpow2_binary64_1507` `+-commutative_binary64_1372` `*-commutative_binary64_1373` `flip3-+_binary64_1445` `flip-+_binary64_1416`

Counts

4 → 77

Calls

8 calls:

6.0ms	(.f64 1/6 (pow.f64 (.f64 a x) 3))
6.0ms	(+.f64 (.f64 1/2 (pow.f64 (.f64 a x) 2)) (.f64 1/6 (pow.f64 (.f64 a x) 3)))
5.0ms	(pow.f64 (*.f64 a x) 3)
4.0ms	(pow.f64 (*.f64 a x) 2)
0.0ms	(+.f64 (.f64 a x) (+.f64 (.f64 1/2 (pow.f64 (.f64 a x) 2)) (.f64 1/6 (pow.f64 (*.f64 a x) 3))))

series519.0ms (0.8%)

Counts

4 → 30

Calls

4 calls:

247.0ms	(+.f64 (.f64 1/2 (pow.f64 (.f64 a x) 2)) (.f64 1/6 (pow.f64 (.f64 a x) 3)))
127.0ms	(.f64 1/6 (pow.f64 (.f64 a x) 3))
79.0ms	(pow.f64 (*.f64 a x) 3)
65.0ms	(pow.f64 (*.f64 a x) 2)

Compiler

Compiled 1110 to 870 computations (21.6% saved)

simplify57.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	4994	1215
1	4994	1215

localize3.0ms (0%)

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

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

5.2b	(-.f64 (exp.f64 (*.f64 a x)) 1)
5.2b	(-.f64 (exp.f64 (*.f64 a x)) 1)

rewrite6.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-sqr-sqrt_binary64_1464`
5×	`*-un-lft-identity_binary64_1442`
3×	`cancel-sign-sub-inv_binary64_1408` `add-log-exp_binary64_1481`
2×	`difference-of-squares_binary64_1411` `add-cube-cbrt_binary64_1477`
1×	`add-cbrt-cube_binary64_1478` `sub-neg_binary64_1435` `flip3--_binary64_1446` `difference-of-sqr-1_binary64_1412` `add-exp-log_binary64_1480` `flip--_binary64_1417` `diff-log_binary64_1534` `pow1_binary64_1503` `distribute-lft-out--_binary64_1394`

Counts

1 → 18

Calls

2 calls:

4.0ms	(-.f64 (exp.f64 (*.f64 a x)) 1)
0.0ms	(-.f64 (exp.f64 (*.f64 a x)) 1)

series49.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

49.0ms

(-.f64 (exp.f64 (*.f64 a x)) 1)

Compiler

Compiled 224 to 200 computations (10.7% saved)

simplify72.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	5019	446

localize7.0ms (0%)

Local error

Found 6 expressions with local error:

5.2b	(-.f64 (exp.f64 (*.f64 a x)) 1)
0.1b	(cbrt.f64 (pow.f64 (-.f64 (exp.f64 (*.f64 a x)) 1) 3))
0.1b	(pow.f64 (-.f64 (exp.f64 (*.f64 a x)) 1) 3)
0.1b	(pow.f64 (-.f64 (exp.f64 (*.f64 a x)) 1) 3)
0.1b	(cbrt.f64 (pow.f64 (-.f64 (exp.f64 (*.f64 a x)) 1) 3))
5.2b	(-.f64 (exp.f64 (*.f64 a x)) 1)

rewrite22.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`add-sqr-sqrt_binary64_1464`
25×	`*-un-lft-identity_binary64_1442`
20×	`cbrt-prod_binary64_1473`
14×	`cube-prod_binary64_1470` `unpow-prod-down_binary64_1521`
10×	`difference-of-squares_binary64_1411` `add-cube-cbrt_binary64_1477`
5×	`difference-of-sqr-1_binary64_1412` `add-log-exp_binary64_1481` `distribute-lft-out--_binary64_1394`
4×	`add-cbrt-cube_binary64_1478` `add-exp-log_binary64_1480` `cube-div_binary64_1471` `pow1_binary64_1503`
3×	`cancel-sign-sub-inv_binary64_1408` `flip3--_binary64_1446` `pow-unpow_binary64_1519` `flip--_binary64_1417`
2×	`cube-mult_binary64_1472` `cbrt-div_binary64_1474` `sqr-pow_binary64_1414` `unpow3_binary64_1508`
1×	`pow-exp_binary64_1510` `sub-neg_binary64_1435` `rem-cube-cbrt_binary64_1465` `diff-log_binary64_1534` `pow1/3_binary64_1524` `pow-to-exp_binary64_1511` `rem-cbrt-cube_binary64_1466` `pow-pow_binary64_1514`

Counts

3 → 82

Calls

6 calls:

6.0ms	(cbrt.f64 (pow.f64 (-.f64 (exp.f64 (*.f64 a x)) 1) 3))
5.0ms	(pow.f64 (-.f64 (exp.f64 (*.f64 a x)) 1) 3)
5.0ms	(-.f64 (exp.f64 (*.f64 a x)) 1)
0.0ms	(pow.f64 (-.f64 (exp.f64 (*.f64 a x)) 1) 3)
0.0ms	(cbrt.f64 (pow.f64 (-.f64 (exp.f64 (*.f64 a x)) 1) 3))

series216.0ms (0.3%)

Counts

3 → 36

Calls

3 calls:

118.0ms	(pow.f64 (-.f64 (exp.f64 (*.f64 a x)) 1) 3)
53.0ms	(-.f64 (exp.f64 (*.f64 a x)) 1)
45.0ms	(cbrt.f64 (pow.f64 (-.f64 (exp.f64 (*.f64 a x)) 1) 3))

Compiler

Compiled 688 to 616 computations (10.5% saved)

simplify76.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4915	2127
1	4915	2127

localize7.0ms (0%)

Local error

Found 6 expressions with local error:

5.2b	(-.f64 (exp.f64 (*.f64 a x)) 1)
5.2b	(-.f64 (exp.f64 (*.f64 a x)) 1)
0.0b	(.f64 (sqrt.f64 (-.f64 (exp.f64 (.f64 a x)) 1)) (sqrt.f64 (-.f64 (exp.f64 (*.f64 a x)) 1)))
0.0b	(.f64 (sqrt.f64 (-.f64 (exp.f64 (.f64 a x)) 1)) (sqrt.f64 (-.f64 (exp.f64 (*.f64 a x)) 1)))
5.2b	(-.f64 (exp.f64 (*.f64 a x)) 1)
5.2b	(-.f64 (exp.f64 (*.f64 a x)) 1)

rewrite37.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

55×	`add-sqr-sqrt_binary64_1464`
42×	`sqrt-prod_binary64_1458`
39×	`*-un-lft-identity_binary64_1442`
18×	`pow1_binary64_1503`
16×	`swap-sqr_binary64_1409`
14×	`difference-of-squares_binary64_1411`
13×	`add-cube-cbrt_binary64_1477`
12×	`sqrt-div_binary64_1459`
10×	`associate-r_binary64_1382` `associate-l_binary64_1383`
8×	`sqrt-pow1_binary64_1460` `flip3--_binary64_1446` `difference-of-sqr-1_binary64_1412` `flip--_binary64_1417` `pow1/2_binary64_1522` `distribute-lft-out--_binary64_1394`
7×	`add-log-exp_binary64_1481`
6×	`cancel-sign-sub-inv_binary64_1408`
5×	`add-cbrt-cube_binary64_1478` `add-exp-log_binary64_1480` `pow-prod-up_binary64_1512`
4×	`frac-times_binary64_1452` `unswap-sqr_binary64_1410`
3×	`pow-prod-down_binary64_1513` `pow-sqr_binary64_1415`
2×	`associate-r/_binary64_1384` `rem-sqrt-square_binary64_1455` `sub-neg_binary64_1435` `diff-log_binary64_1534` `associate-l/_binary64_1385`
1×	`pow2_binary64_1523` `sqr-abs_binary64_1457` `cbrt-unprod_binary64_1475` `pow-plus_binary64_1505` `*-commutative_binary64_1373` `sqrt-unprod_binary64_1462` `prod-exp_binary64_1491` `rem-square-sqrt_binary64_1454`

Counts

3 → 110

Calls

6 calls:

15.0ms	(.f64 (sqrt.f64 (-.f64 (exp.f64 (.f64 a x)) 1)) (sqrt.f64 (-.f64 (exp.f64 (*.f64 a x)) 1)))
7.0ms	(-.f64 (exp.f64 (*.f64 a x)) 1)
4.0ms	(-.f64 (exp.f64 (*.f64 a x)) 1)
0.0ms	(.f64 (sqrt.f64 (-.f64 (exp.f64 (.f64 a x)) 1)) (sqrt.f64 (-.f64 (exp.f64 (*.f64 a x)) 1)))
0.0ms	(-.f64 (exp.f64 (*.f64 a x)) 1)

series151.0ms (0.2%)

Counts

3 → 36

Calls

3 calls:

52.0ms	(-.f64 (exp.f64 (*.f64 a x)) 1)
51.0ms	(-.f64 (exp.f64 (*.f64 a x)) 1)
48.0ms	(.f64 (sqrt.f64 (-.f64 (exp.f64 (.f64 a x)) 1)) (sqrt.f64 (-.f64 (exp.f64 (*.f64 a x)) 1)))

Compiler

Compiled 864 to 680 computations (21.3% saved)

simplify76.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5551	2317

prune2.7s (4%)

Pruning

130 alts after pruning (124 fresh and 6 done)

	Pruned	Kept	Total
New	289	112	401
Fresh	0	12	12
Picked	0	0	0
Done	0	6	6
Total	289	130	419

Error

0.0b

Counts

419 → 130

Compiler

Compiled 6113 to 3795 computations (37.9% saved)

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 (.f64 (cbrt.f64 1/6) (cbrt.f64 1/6)) (.f64 (pow.f64 (.f64 a x) 3) (cbrt.f64 1/6)))
0.1b	(.f64 (pow.f64 (.f64 a x) 3) (cbrt.f64 1/6))
0.0b	(.f64 1/2 (pow.f64 (.f64 a x) 2))
0.0b	(+.f64 (.f64 a x) (+.f64 (.f64 1/2 (pow.f64 (.f64 a x) 2)) (.f64 (.f64 (cbrt.f64 1/6) (cbrt.f64 1/6)) (.f64 (pow.f64 (*.f64 a x) 3) (cbrt.f64 1/6)))))
1.0b	(cbrt.f64 1/6)
1.0b	(cbrt.f64 1/6)
1.0b	(cbrt.f64 1/6)
8.3b	(+.f64 (.f64 1/2 (pow.f64 (.f64 a x) 2)) (.f64 (.f64 (cbrt.f64 1/6) (cbrt.f64 1/6)) (.f64 (pow.f64 (.f64 a x) 3) (cbrt.f64 1/6))))

rewrite14.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`cbrt-prod_binary64_1473`
7×	`add-sqr-sqrt_binary64_1464` `add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
6×	`add-log-exp_binary64_1481`
4×	`add-cbrt-cube_binary64_1478` `add-exp-log_binary64_1480` `pow1_binary64_1503`
3×	`pow1/3_binary64_1524`
1×	`sum-log_binary64_1533` `+-commutative_binary64_1372` `flip3-+_binary64_1445` `flip-+_binary64_1416`

Counts

4 → 44

Calls

8 calls:

7.0ms	(+.f64 (.f64 1/2 (pow.f64 (.f64 a x) 2)) (.f64 (.f64 (cbrt.f64 1/6) (cbrt.f64 1/6)) (.f64 (pow.f64 (.f64 a x) 3) (cbrt.f64 1/6))))
1.0ms	(cbrt.f64 1/6)
1.0ms	(cbrt.f64 1/6)
1.0ms	(cbrt.f64 1/6)
0.0ms	(+.f64 (.f64 a x) (+.f64 (.f64 1/2 (pow.f64 (.f64 a x) 2)) (.f64 (.f64 (cbrt.f64 1/6) (cbrt.f64 1/6)) (.f64 (pow.f64 (*.f64 a x) 3) (cbrt.f64 1/6)))))

series354.0ms (0.5%)

Counts

4 → 12

Calls

4 calls:

354.0ms	(+.f64 (.f64 1/2 (pow.f64 (.f64 a x) 2)) (.f64 (.f64 (cbrt.f64 1/6) (cbrt.f64 1/6)) (.f64 (pow.f64 (.f64 a x) 3) (cbrt.f64 1/6))))
0.0ms	(cbrt.f64 1/6)
0.0ms	(cbrt.f64 1/6)
0.0ms	(cbrt.f64 1/6)

Compiler

Compiled 402 to 342 computations (14.9% saved)

simplify45.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	4959	679
1	4959	679

localize7.0ms (0%)

Local error

Found 6 expressions with local error:

10.3b	(.f64 a (.f64 x x))
1.0b	(.f64 a (+.f64 x (.f64 1/2 (.f64 a (.f64 x x)))))
0.0b	(+.f64 x (.f64 1/2 (.f64 a (*.f64 x x))))
0.0b	(+.f64 x (.f64 1/2 (.f64 a (*.f64 x x))))
1.0b	(.f64 a (+.f64 x (.f64 1/2 (.f64 a (.f64 x x)))))
10.3b	(.f64 a (.f64 x x))

rewrite20.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-cbrt-cube_binary64_1478` `add-exp-log_binary64_1480` `pow1_binary64_1503`
9×	`add-sqr-sqrt_binary64_1464`
6×	`associate-l_binary64_1383` `add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
5×	`add-log-exp_binary64_1481`
4×	`associate-r_binary64_1382` `cbrt-unprod_binary64_1475` `pow-prod-down_binary64_1513` `prod-exp_binary64_1491`
2×	`associate-r/_binary64_1384` `-commutative_binary64_1373` `flip3-+_binary64_1445` `flip-+_binary64_1416` `unswap-sqr_binary64_1410`
1×	`sum-log_binary64_1533` `+-commutative_binary64_1372` `distribute-lft-in_binary64_1391` `distribute-rgt-in_binary64_1392`

Counts

3 → 52

Calls

6 calls:

7.0ms	(.f64 a (.f64 x x))
6.0ms	(.f64 a (+.f64 x (.f64 1/2 (.f64 a (.f64 x x)))))
4.0ms	(+.f64 x (.f64 1/2 (.f64 a (*.f64 x x))))
0.0ms	(+.f64 x (.f64 1/2 (.f64 a (*.f64 x x))))
0.0ms	(.f64 a (+.f64 x (.f64 1/2 (.f64 a (.f64 x x)))))

series299.0ms (0.4%)

Counts

3 → 30

Calls

3 calls:

144.0ms	(.f64 a (+.f64 x (.f64 1/2 (.f64 a (.f64 x x)))))
100.0ms	(+.f64 x (.f64 1/2 (.f64 a (*.f64 x x))))
54.0ms	(.f64 a (.f64 x x))

Compiler

Compiled 504 to 428 computations (15.1% saved)

simplify83.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4971	1125
1	4971	1125

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(pow.f64 (*.f64 a x) 2)
0.0b	(.f64 (pow.f64 (.f64 a x) 2) (+.f64 1/2 (.f64 (.f64 a x) 1/6)))
0.0b	(+.f64 (.f64 a x) (exp.f64 (log.f64 (.f64 (pow.f64 (.f64 a x) 2) (+.f64 1/2 (.f64 (*.f64 a x) 1/6))))))
0.0b	(+.f64 1/2 (.f64 (.f64 a x) 1/6))
0.2b	(pow.f64 (*.f64 a x) 2)
0.3b	(.f64 (.f64 a x) 1/6)
1.9b	(exp.f64 (log.f64 (.f64 (pow.f64 (.f64 a x) 2) (+.f64 1/2 (.f64 (.f64 a x) 1/6)))))
21.1b	(log.f64 (.f64 (pow.f64 (.f64 a x) 2) (+.f64 1/2 (.f64 (.f64 a x) 1/6))))

rewrite29.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`add-exp-log_binary64_1480`
14×	`pow1_binary64_1503`
9×	`add-cbrt-cube_binary64_1478` `prod-exp_binary64_1491`
7×	`add-sqr-sqrt_binary64_1464` `add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
5×	`rem-log-exp_binary64_1483`
4×	`associate-*r/_binary64_1384` `pow-exp_binary64_1510` `pow-prod-down_binary64_1513` `add-log-exp_binary64_1481` `exp-prod_binary64_1494` `log-div_binary64_1529`
3×	`associate-r_binary64_1382` `cbrt-unprod_binary64_1475` `pow-unpow_binary64_1519`
2×	`log-prod_binary64_1528` `log-pow_binary64_1531` `exp-diff_binary64_1490` `flip3-+_binary64_1445` `flip-+_binary64_1416` `pow-to-exp_binary64_1511` `pow-pow_binary64_1514`
1×	`unpow2_binary64_1507` `rem-exp-log_binary64_1482` `associate-l_binary64_1383` `*-commutative_binary64_1373` `sqr-pow_binary64_1414` `exp-sum_binary64_1488` `unpow-prod-down_binary64_1521`

Counts

4 → 67

Calls

8 calls:

7.0ms	(.f64 (.f64 a x) 1/6)
6.0ms	(exp.f64 (log.f64 (.f64 (pow.f64 (.f64 a x) 2) (+.f64 1/2 (.f64 (.f64 a x) 1/6)))))
6.0ms	(log.f64 (.f64 (pow.f64 (.f64 a x) 2) (+.f64 1/2 (.f64 (.f64 a x) 1/6))))
4.0ms	(pow.f64 (*.f64 a x) 2)
0.0ms	(+.f64 1/2 (.f64 (.f64 a x) 1/6))

series591.0ms (0.9%)

Counts

4 → 30

Calls

4 calls:

404.0ms	(exp.f64 (log.f64 (.f64 (pow.f64 (.f64 a x) 2) (+.f64 1/2 (.f64 (.f64 a x) 1/6)))))
73.0ms	(log.f64 (.f64 (pow.f64 (.f64 a x) 2) (+.f64 1/2 (.f64 (.f64 a x) 1/6))))
63.0ms	(pow.f64 (*.f64 a x) 2)
50.0ms	(.f64 (.f64 a x) 1/6)

Compiler

Compiled 1274 to 1002 computations (21.4% saved)

simplify82.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4950	1368
1	4950	1368

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(.f64 1/6 (pow.f64 (.f64 a x) 3))
0.1b	(.f64 1/24 (pow.f64 (.f64 a x) 4))
0.0b	(+.f64 (.f64 1/2 (pow.f64 (.f64 a x) 2)) (.f64 1/24 (pow.f64 (.f64 a x) 4)))
0.0b	(.f64 1/2 (pow.f64 (.f64 a x) 2))
0.2b	(pow.f64 (*.f64 a x) 4)
0.2b	(pow.f64 (*.f64 a x) 2)
2.6b	(+.f64 (.f64 a x) (+.f64 (.f64 1/6 (pow.f64 (.f64 a x) 3)) (+.f64 (.f64 1/2 (pow.f64 (.f64 a x) 2)) (.f64 1/24 (pow.f64 (*.f64 a x) 4)))))
9.8b	(+.f64 (.f64 1/6 (pow.f64 (.f64 a x) 3)) (+.f64 (.f64 1/2 (pow.f64 (.f64 a x) 2)) (.f64 1/24 (pow.f64 (.f64 a x) 4))))

rewrite37.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-log-exp_binary64_1481`
10×	`add-exp-log_binary64_1480` `pow1_binary64_1503`
9×	`sum-log_binary64_1533`
6×	`pow-unpow_binary64_1519` `add-sqr-sqrt_binary64_1464` `add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
4×	`add-cbrt-cube_binary64_1478` `pow-exp_binary64_1510` `pow-pow_binary64_1514`
2×	`+-commutative_binary64_1372` `pow-prod-down_binary64_1513` `sqr-pow_binary64_1414` `flip3-+_binary64_1445` `flip-+_binary64_1416` `prod-exp_binary64_1491` `associate-+r+_binary64_1374` `unpow-prod-down_binary64_1521` `pow-to-exp_binary64_1511`
1×	`unpow2_binary64_1507`

Counts

4 → 62

Calls

8 calls:

12.0ms	(+.f64 (.f64 a x) (+.f64 (.f64 1/6 (pow.f64 (.f64 a x) 3)) (+.f64 (.f64 1/2 (pow.f64 (.f64 a x) 2)) (.f64 1/24 (pow.f64 (*.f64 a x) 4)))))
10.0ms	(+.f64 (.f64 1/6 (pow.f64 (.f64 a x) 3)) (+.f64 (.f64 1/2 (pow.f64 (.f64 a x) 2)) (.f64 1/24 (pow.f64 (.f64 a x) 4))))
4.0ms	(pow.f64 (*.f64 a x) 2)
4.0ms	(pow.f64 (*.f64 a x) 4)
0.0ms	(.f64 1/2 (pow.f64 (.f64 a x) 2))

series496.0ms (0.7%)

Counts

4 → 46

Calls

4 calls:

194.0ms	(+.f64 (.f64 1/6 (pow.f64 (.f64 a x) 3)) (+.f64 (.f64 1/2 (pow.f64 (.f64 a x) 2)) (.f64 1/24 (pow.f64 (.f64 a x) 4))))
156.0ms	(+.f64 (.f64 a x) (+.f64 (.f64 1/6 (pow.f64 (.f64 a x) 3)) (+.f64 (.f64 1/2 (pow.f64 (.f64 a x) 2)) (.f64 1/24 (pow.f64 (*.f64 a x) 4)))))
83.0ms	(pow.f64 (*.f64 a x) 4)
63.0ms	(pow.f64 (*.f64 a x) 2)

Compiler

Compiled 1676 to 1352 computations (19.3% saved)

simplify50.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (23.0ms)

Iter	Nodes	Cost
0	5114	2322

localize19.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(pow.f64 (*.f64 a x) 2)
0.1b	(.f64 1/6 (pow.f64 (pow.f64 (.f64 a x) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 3)))
0.0b	(+.f64 (.f64 1/2 (pow.f64 (.f64 a x) 2)) (.f64 1/6 (pow.f64 (pow.f64 (.f64 a x) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 3))))
0.0b	(.f64 1/2 (pow.f64 (.f64 a x) 2))
0.1b	(.f64 1/6 (pow.f64 (pow.f64 (.f64 a x) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 3)))
0.2b	(pow.f64 (*.f64 a x) 2)
0.8b	(pow.f64 (pow.f64 (.f64 a x) (.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 3))
9.1b	(pow.f64 (.f64 a x) (.f64 (cbrt.f64 3) (cbrt.f64 3)))

rewrite29.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`add-exp-log_binary64_1480`
17×	`add-sqr-sqrt_binary64_1464`
16×	`pow-exp_binary64_1510` `unpow-prod-down_binary64_1521`
11×	`add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
10×	`pow-unpow_binary64_1519` `prod-exp_binary64_1491` `pow1_binary64_1503`
9×	`associate-r_binary64_1382`
8×	`sqr-pow_binary64_1414`
6×	`add-cbrt-cube_binary64_1478` `pow-to-exp_binary64_1511`
5×	`pow-pow_binary64_1514`
4×	`add-log-exp_binary64_1481` `unswap-sqr_binary64_1410`
3×	`cbrt-prod_binary64_1473` `associate-l_binary64_1383`
2×	`pow-prod-down_binary64_1513`
1×	`cbrt-unprod_binary64_1475` `unpow2_binary64_1507` `*-commutative_binary64_1373`

Counts

4 → 89

Calls

8 calls:

8.0ms	(.f64 1/6 (pow.f64 (pow.f64 (.f64 a x) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 3)))
4.0ms	(pow.f64 (pow.f64 (.f64 a x) (.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 3))
4.0ms	(pow.f64 (.f64 a x) (.f64 (cbrt.f64 3) (cbrt.f64 3)))
4.0ms	(pow.f64 (*.f64 a x) 2)
0.0ms	(.f64 1/2 (pow.f64 (.f64 a x) 2))

series1.4s (2.1%)

Counts

4 → 24

Calls

4 calls:

571.0ms	(.f64 1/6 (pow.f64 (pow.f64 (.f64 a x) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 3)))
519.0ms	(pow.f64 (pow.f64 (.f64 a x) (.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 3))
233.0ms	(pow.f64 (.f64 a x) (.f64 (cbrt.f64 3) (cbrt.f64 3)))
66.0ms	(pow.f64 (*.f64 a x) 2)

Compiler

Compiled 1448 to 1208 computations (16.6% saved)

simplify78.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	5198	1547

prune9.4s (14%)

Pruning

253 alts after pruning (243 fresh and 10 done)

	Pruned	Kept	Total
New	322	134	456
Fresh	10	109	119
Picked	0	0	0
Done	1	10	11
Total	333	253	586

Error

0.0b

Counts

586 → 253

Compiler

Compiled 13390 to 8759 computations (34.6% saved)

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(+.f64 (log.f64 (pow.f64 (*.f64 a x) 2)) (log.f64 1/2))
0.2b	(pow.f64 (*.f64 a x) 2)
0.0b	(+.f64 (.f64 a x) (exp.f64 (+.f64 (+.f64 (log.f64 (pow.f64 (.f64 a x) 2)) (log.f64 1/2)) (.f64 (.f64 a x) 1/3))))
0.0b	(+.f64 (+.f64 (log.f64 (pow.f64 (.f64 a x) 2)) (log.f64 1/2)) (.f64 (*.f64 a x) 1/3))
0.3b	(+.f64 (log.f64 (pow.f64 (*.f64 a x) 2)) (log.f64 1/2))
0.3b	(.f64 (.f64 a x) 1/3)
1.9b	(exp.f64 (+.f64 (+.f64 (log.f64 (pow.f64 (.f64 a x) 2)) (log.f64 1/2)) (.f64 (*.f64 a x) 1/3)))
29.0b	(log.f64 (pow.f64 (*.f64 a x) 2))

rewrite29.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`log-prod_binary64_1528`
13×	`add-exp-log_binary64_1480`
12×	`*-un-lft-identity_binary64_1442`
10×	`pow1_binary64_1503`
9×	`add-cbrt-cube_binary64_1478` `add-sqr-sqrt_binary64_1464` `add-cube-cbrt_binary64_1477`
8×	`add-log-exp_binary64_1481`
6×	`associate-+l+_binary64_1375`
4×	`sum-log_binary64_1533` `rem-log-exp_binary64_1483` `prod-exp_binary64_1491`
3×	`associate-r_binary64_1382` `cbrt-unprod_binary64_1475` `rem-exp-log_binary64_1482` `pow-prod-down_binary64_1513` `exp-prod_binary64_1494` `associate-+r+_binary64_1374`
2×	`pow-exp_binary64_1510` `unpow2_binary64_1507` `log-pow_binary64_1531` `distribute-lft-out_binary64_1393` `sqr-pow_binary64_1414` `unpow-prod-down_binary64_1521`
1×	`+-commutative_binary64_1372` `associate-l_binary64_1383` `*-commutative_binary64_1373` `flip3-+_binary64_1445` `flip-+_binary64_1416` `exp-sum_binary64_1488` `pow-to-exp_binary64_1511`

Counts

4 → 72

Calls

8 calls:

9.0ms	(exp.f64 (+.f64 (+.f64 (log.f64 (pow.f64 (.f64 a x) 2)) (log.f64 1/2)) (.f64 (*.f64 a x) 1/3)))
6.0ms	(+.f64 (log.f64 (pow.f64 (*.f64 a x) 2)) (log.f64 1/2))
5.0ms	(.f64 (.f64 a x) 1/3)
2.0ms	(log.f64 (pow.f64 (*.f64 a x) 2))
0.0ms	(+.f64 (+.f64 (log.f64 (pow.f64 (.f64 a x) 2)) (log.f64 1/2)) (.f64 (*.f64 a x) 1/3))

series513.0ms (0.8%)

Counts

4 → 27

Calls

4 calls:

215.0ms	(+.f64 (log.f64 (pow.f64 (*.f64 a x) 2)) (log.f64 1/2))
147.0ms	(log.f64 (pow.f64 (*.f64 a x) 2))
96.0ms	(exp.f64 (+.f64 (+.f64 (log.f64 (pow.f64 (.f64 a x) 2)) (log.f64 1/2)) (.f64 (*.f64 a x) 1/3)))
54.0ms	(.f64 (.f64 a x) 1/3)

Compiler

Compiled 1299 to 1000 computations (23% saved)

simplify58.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5178	1332

localize6.0ms (0%)

Local error

Found 4 expressions with local error:

10.3b	(.f64 a (.f64 x x))
3.5b	(.f64 a (.f64 (.f64 a (.f64 x x)) 1/2))
3.5b	(.f64 a (.f64 (.f64 a (.f64 x x)) 1/2))
10.3b	(.f64 a (.f64 x x))

rewrite20.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`add-cbrt-cube_binary64_1478` `add-exp-log_binary64_1480` `pow1_binary64_1503`
13×	`cbrt-unprod_binary64_1475` `pow-prod-down_binary64_1513` `prod-exp_binary64_1491`
6×	`associate-l_binary64_1383`
5×	`add-sqr-sqrt_binary64_1464`
4×	`add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
2×	`associate-r_binary64_1382` `*-commutative_binary64_1373` `add-log-exp_binary64_1481`
1×	`unswap-sqr_binary64_1410`

Counts

2 → 43

Calls

4 calls:

11.0ms	(.f64 a (.f64 (.f64 a (.f64 x x)) 1/2))
6.0ms	(.f64 a (.f64 x x))
0.0ms	(.f64 a (.f64 (.f64 a (.f64 x x)) 1/2))
0.0ms	(.f64 a (.f64 x x))

series146.0ms (0.2%)

Counts

2 → 12

Calls

2 calls:

88.0ms	(.f64 a (.f64 (.f64 a (.f64 x x)) 1/2))
58.0ms	(.f64 a (.f64 x x))

Compiler

Compiled 216 to 204 computations (5.6% saved)

simplify73.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

55 → 55

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5144	597

localize9.0ms (0%)

Local error

Found 8 expressions with local error:

5.0b	(+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)
0.0b	(pow.f64 (exp.f64 (*.f64 a x)) 2)
0.0b	(/.f64 (+.f64 (pow.f64 (exp.f64 (.f64 a x)) 2) -1) (+.f64 (exp.f64 (.f64 a x)) 1))
0.0b	(+.f64 (exp.f64 (*.f64 a x)) 1)
0.0b	(+.f64 (exp.f64 (*.f64 a x)) 1)
0.0b	(/.f64 (+.f64 (pow.f64 (exp.f64 (.f64 a x)) 2) -1) (+.f64 (exp.f64 (.f64 a x)) 1))
0.0b	(pow.f64 (exp.f64 (*.f64 a x)) 2)
5.0b	(+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)

rewrite34.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

52×	`*-un-lft-identity_binary64_1442`
32×	`times-frac_binary64_1448` `add-sqr-sqrt_binary64_1464`
24×	`difference-of-sqr--1_binary64_1413`
20×	`add-cube-cbrt_binary64_1477`
16×	`distribute-lft-out_binary64_1393`
9×	`add-log-exp_binary64_1481` `unpow-prod-down_binary64_1521`
8×	`associate-/l*_binary64_1387`
7×	`unpow2_binary64_1507` `sqr-pow_binary64_1414`
6×	`add-cbrt-cube_binary64_1478` `add-exp-log_binary64_1480`
5×	`pow1_binary64_1503`
4×	`associate-/r*_binary64_1386` `flip3-+_binary64_1445` `flip-+_binary64_1416`
3×	`pow-unpow_binary64_1519` `pow-pow_binary64_1514`
2×	`sum-log_binary64_1533` `associate-/l/_binary64_1389` `associate-/r/_binary64_1388` `+-commutative_binary64_1372`
1×	`cbrt-undiv_binary64_1476` `pow-exp_binary64_1510` `div-inv_binary64_1439` `clear-num_binary64_1441` `exp-prod_binary64_1494` `frac-2neg_binary64_1453` `exp-to-pow_binary64_1504` `div-exp_binary64_1493` `pow-to-exp_binary64_1511`

Counts

4 → 108

Calls

8 calls:

12.0ms	(/.f64 (+.f64 (pow.f64 (exp.f64 (.f64 a x)) 2) -1) (+.f64 (exp.f64 (.f64 a x)) 1))
6.0ms	(+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)
4.0ms	(+.f64 (exp.f64 (*.f64 a x)) 1)
3.0ms	(pow.f64 (exp.f64 (*.f64 a x)) 2)
0.0ms	(+.f64 (exp.f64 (*.f64 a x)) 1)

series331.0ms (0.5%)

Counts

4 → 48

Calls

4 calls:

152.0ms	(/.f64 (+.f64 (pow.f64 (exp.f64 (.f64 a x)) 2) -1) (+.f64 (exp.f64 (.f64 a x)) 1))
83.0ms	(+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)
56.0ms	(pow.f64 (exp.f64 (*.f64 a x)) 2)
39.0ms	(+.f64 (exp.f64 (*.f64 a x)) 1)

Compiler

Compiled 1180 to 920 computations (22% saved)

simplify106.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

156 → 156

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4983	3305
1	4983	3305

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(pow.f64 (*.f64 a x) 2)
0.2b	(pow.f64 (*.f64 a x) 3)
0.0b	(.f64 1/2 (pow.f64 (.f64 a x) 2))
0.0b	(+.f64 (.f64 a x) (+.f64 (.f64 1/2 (pow.f64 (.f64 a x) 2)) (log.f64 (pow.f64 (exp.f64 (pow.f64 (.f64 a x) 3)) 1/6))))
0.2b	(pow.f64 (*.f64 a x) 3)
0.2b	(pow.f64 (*.f64 a x) 2)
1.9b	(log.f64 (pow.f64 (exp.f64 (pow.f64 (*.f64 a x) 3)) 1/6))
8.3b	(+.f64 (.f64 1/2 (pow.f64 (.f64 a x) 2)) (log.f64 (pow.f64 (exp.f64 (pow.f64 (*.f64 a x) 3)) 1/6)))

rewrite29.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`log-prod_binary64_1528`
11×	`add-exp-log_binary64_1480`
10×	`add-sqr-sqrt_binary64_1464` `pow1_binary64_1503` `add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
8×	`unpow-prod-down_binary64_1521`
7×	`add-cbrt-cube_binary64_1478` `associate-+r+_binary64_1374`
6×	`pow-unpow_binary64_1519`
5×	`pow-exp_binary64_1510` `add-log-exp_binary64_1481`
4×	`sqr-pow_binary64_1414` `pow-pow_binary64_1514`
3×	`rem-log-exp_binary64_1483` `pow-to-exp_binary64_1511`
2×	`pow-prod-down_binary64_1513` `rem-cube-cbrt_binary64_1465` `prod-exp_binary64_1491`
1×	`cube-mult_binary64_1472` `cbrt-unprod_binary64_1475` `sum-log_binary64_1533` `unpow2_binary64_1507` `log-pow_binary64_1531` `+-commutative_binary64_1372` `cube-prod_binary64_1470` `unpow3_binary64_1508` `flip3-+_binary64_1445` `flip-+_binary64_1416`

Counts

4 → 76

Calls

8 calls:

8.0ms	(+.f64 (.f64 1/2 (pow.f64 (.f64 a x) 2)) (log.f64 (pow.f64 (exp.f64 (pow.f64 (*.f64 a x) 3)) 1/6)))
4.0ms	(pow.f64 (*.f64 a x) 3)
4.0ms	(pow.f64 (*.f64 a x) 2)
3.0ms	(log.f64 (pow.f64 (exp.f64 (pow.f64 (*.f64 a x) 3)) 1/6))
0.0ms	(+.f64 (.f64 a x) (+.f64 (.f64 1/2 (pow.f64 (.f64 a x) 2)) (log.f64 (pow.f64 (exp.f64 (pow.f64 (.f64 a x) 3)) 1/6))))

series1.2s (1.7%)

Counts

4 → 30

Calls

4 calls:

573.0ms	(+.f64 (.f64 1/2 (pow.f64 (.f64 a x) 2)) (log.f64 (pow.f64 (exp.f64 (pow.f64 (*.f64 a x) 3)) 1/6)))
438.0ms	(log.f64 (pow.f64 (exp.f64 (pow.f64 (*.f64 a x) 3)) 1/6))
81.0ms	(pow.f64 (*.f64 a x) 3)
65.0ms	(pow.f64 (*.f64 a x) 2)

Compiler

Compiled 1158 to 902 computations (22.1% saved)

simplify84.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4976	1361
1	4976	1361

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(/.f64 (-.f64 (pow.f64 (exp.f64 (.f64 a x)) 3) 1) (+.f64 1 (.f64 (exp.f64 (.f64 a x)) (+.f64 (exp.f64 (.f64 a x)) 1))))
0.0b	(.f64 (exp.f64 (.f64 a x)) (+.f64 (exp.f64 (*.f64 a x)) 1))
0.0b	(+.f64 (exp.f64 (*.f64 a x)) 1)
0.0b	(+.f64 1 (.f64 (exp.f64 (.f64 a x)) (+.f64 (exp.f64 (*.f64 a x)) 1)))
0.0b	(.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 (.f64 a x)) 3) 1) (+.f64 1 (.f64 (exp.f64 (.f64 a x)) (+.f64 (exp.f64 (.f64 a x)) 1))))) (sqrt.f64 (-.f64 (exp.f64 (.f64 a x)) 1)))
0.0b	(pow.f64 (exp.f64 (*.f64 a x)) 3)
5.0b	(-.f64 (pow.f64 (exp.f64 (*.f64 a x)) 3) 1)
5.2b	(-.f64 (exp.f64 (*.f64 a x)) 1)

rewrite80.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

106×	`add-sqr-sqrt_binary64_1464`
68×	`sqrt-prod_binary64_1458`
62×	`*-un-lft-identity_binary64_1442`
57×	`associate-l_binary64_1383`
50×	`times-frac_binary64_1448`
36×	`difference-of-squares_binary64_1411`
32×	`add-cube-cbrt_binary64_1477`
18×	`difference-of-sqr-1_binary64_1412`
15×	`cube-prod_binary64_1470` `unpow-prod-down_binary64_1521`
13×	`sqr-pow_binary64_1414`
10×	`associate-r_binary64_1382`
9×	`add-log-exp_binary64_1481` `pow1_binary64_1503`
7×	`add-cbrt-cube_binary64_1478` `sqrt-div_binary64_1459`
6×	`cancel-sign-sub-inv_binary64_1408` `add-exp-log_binary64_1480` `distribute-lft-out--_binary64_1394` `unswap-sqr_binary64_1410`
4×	`flip3--_binary64_1446` `flip--_binary64_1417`
3×	`pow-unpow_binary64_1519` `pow-prod-down_binary64_1513` `pow-pow_binary64_1514`
2×	`sqrt-pow1_binary64_1460` `associate-*r/_binary64_1384` `associate-/r/_binary64_1388` `sub-neg_binary64_1435` `diff-log_binary64_1534` `frac-times_binary64_1452` `pow1/2_binary64_1522`
1×	`cube-mult_binary64_1472` `cbrt-unprod_binary64_1475` `pow-exp_binary64_1510` `div-inv_binary64_1439` `-commutative_binary64_1373` `sqrt-unprod_binary64_1462` `rem-cube-cbrt_binary64_1465` `exp-prod_binary64_1494` `unpow3_binary64_1508` `flip3-+_binary64_1445` `flip-+_binary64_1416` `exp-to-pow_binary64_1504` `prod-exp_binary64_1491` `associate-l/_binary64_1385` `pow-to-exp_binary64_1511`

Counts

4 → 162

Calls

8 calls:

36.0ms	(.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 (.f64 a x)) 3) 1) (+.f64 1 (.f64 (exp.f64 (.f64 a x)) (+.f64 (exp.f64 (.f64 a x)) 1))))) (sqrt.f64 (-.f64 (exp.f64 (.f64 a x)) 1)))
8.0ms	(-.f64 (pow.f64 (exp.f64 (*.f64 a x)) 3) 1)
5.0ms	(-.f64 (exp.f64 (*.f64 a x)) 1)
3.0ms	(pow.f64 (exp.f64 (*.f64 a x)) 3)
0.0ms	(+.f64 1 (.f64 (exp.f64 (.f64 a x)) (+.f64 (exp.f64 (*.f64 a x)) 1)))

series688.0ms (1%)

Counts

4 → 48

Calls

4 calls:

424.0ms	(.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 (.f64 a x)) 3) 1) (+.f64 1 (.f64 (exp.f64 (.f64 a x)) (+.f64 (exp.f64 (.f64 a x)) 1))))) (sqrt.f64 (-.f64 (exp.f64 (.f64 a x)) 1)))
114.0ms	(-.f64 (pow.f64 (exp.f64 (*.f64 a x)) 3) 1)
91.0ms	(pow.f64 (exp.f64 (*.f64 a x)) 3)
59.0ms	(-.f64 (exp.f64 (*.f64 a x)) 1)

Compiler

Compiled 2120 to 1394 computations (34.2% saved)

simplify113.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

210 → 210

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5154	6950

prune18.9s (28.1%)

Pruning

417 alts after pruning (405 fresh and 12 done)

	Pruned	Kept	Total
New	433	193	626
Fresh	26	212	238
Picked	0	0	0
Done	3	12	15
Total	462	417	879

Error

0.0b

Counts

879 → 417

Compiler

Compiled 10466 to 5512 computations (47.3% saved)

simplify450.0ms (0.7%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	3750	30585
1	3750	30585

regimes7.8s (11.6%)

Compiler: Compiled 65797 to 44574 computations (32.3% saved)

bsearch24.0ms (0%)

Compiler: Compiled 3 to 3 computations (0% saved)

regimes2.5s (3.8%)

Compiler: Compiled 18472 to 13035 computations (29.4% saved)

bsearch7.0ms (0%)

Compiler: Compiled 3 to 3 computations (0% saved)

regimes711.0ms (1.1%)

Compiler: Compiled 4710 to 3433 computations (27.1% saved)

bsearch2.0ms (0%)

Compiler: Compiled 3 to 3 computations (0% saved)

regimes595.0ms (0.9%)

Compiler: Compiled 3645 to 2749 computations (24.6% saved)

bsearch2.0ms (0%)

Compiler: Compiled 3 to 3 computations (0% saved)

regimes497.0ms (0.7%)

Compiler: Compiled 2980 to 2242 computations (24.8% saved)

bsearch2.0ms (0%)

Compiler: Compiled 3 to 3 computations (0% saved)

regimes221.0ms (0.3%)

Compiler: Compiled 857 to 740 computations (13.7% saved)

bsearch1.0ms (0%)

Compiler: Compiled 3 to 3 computations (0% saved)

regimes124.0ms (0.2%)

Compiler: Compiled 292 to 254 computations (13% saved)

bsearch1.0ms (0%)

Compiler: Compiled 3 to 3 computations (0% saved)

regimes116.0ms (0.2%)

Compiler: Compiled 220 to 203 computations (7.7% saved)

bsearch1.0ms (0%)

Compiler: Compiled 3 to 3 computations (0% saved)

regimes92.0ms (0.1%)

Compiler: Compiled 175 to 161 computations (8% saved)

bsearch1.0ms (0%)

Compiler: Compiled 3 to 3 computations (0% saved)

regimes38.0ms (0.1%)

Accuracy

Total 0.2b remaining (92.2%)

Threshold costs 0.2b (92.2%)

Compiler

Compiled 10 to 26 computations (-160% saved)

bsearch65.0ms (0.1%)

Steps

Iters	Range		Point
6	9.951300479876412e-119	5.968045048913552e-118	5.735578023165714e-118
8	-5.036786523753136e-151	-1.881635172734199e-155	-3.1034993266129114e-153

Compiler

Compiled 282 to 182 computations (35.5% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	100	417
1	100	417

end0.0ms (0%)

sample13.9s (20.7%)

Algorithm

1×

intervals

Results

435.0ms	1459×	body	2048	valid
258.0ms	1741×	body	1024	valid
94.0ms	1086×	body	512	valid
83.0ms	3084×	body	128	valid
37.0ms	630×	body	256	valid
4.0ms	133×	body	128	invalid

Compiler

Compiled 15664 to 10642 computations (32.1% saved)

Pareto

0.9645953632636352