Details

analyze131.0ms (2.8%)

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
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
25%	68.7%	6.3%	6
25%	56.2%	18.8%	7
25%	48.4%	26.6%	8
25%	35.1%	39.9%	9
28.1%	18.3%	53.6%	10
31.6%	12.3%	56.1%	11
33.4%	5.9%	60.8%	12
35.2%	3.8%	61%	13
36.1%	2.9%	61%	14

Compiler

Compiled 32 to 22 computations (31.3% saved)

sample27.0ms (0.6%)

Algorithm

1×

intervals

Results

16.0ms

256×

body

128

valid

Compiler

Compiled 63 to 45 computations (28.6% saved)

simplify151.0ms (3.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5029	46

prune3.0ms (0.1%)

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

0.2b

Counts

2 → 1

Compiler

Compiled 62 to 42 computations (32.3% saved)

localize16.0ms (0.4%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 (.f64 a a) (+.f64 1 a))
0.0b	(.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a)))))
0.0b	(+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a))))))
0.0b	(-.f64 1 (*.f64 3 a))
0.0b	(.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a)))))
0.1b	(.f64 (.f64 a a) (+.f64 1 a))
0.3b	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)
0.5b	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))

rewrite46.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`associate-*r/_binary64_1678`
17×	`pow1_binary64_1797` `add-exp-log_binary64_1774`
16×	`add-cbrt-cube_binary64_1772`
14×	`add-sqr-sqrt_binary64_1758`
12×	`*-un-lft-identity_binary64_1736`
10×	`associate-r_binary64_1676` `add-cube-cbrt_binary64_1771`
7×	`cbrt-unprod_binary64_1769` `prod-exp_binary64_1785` `pow-prod-down_binary64_1807`
5×	`associate-l_binary64_1677`
4×	`frac-add_binary64_1744` `add-log-exp_binary64_1775` `flip-+_binary64_1710` `distribute-rgt-in_binary64_1686` `flip3-+_binary64_1739` `distribute-lft-in_binary64_1685`
3×	`pow-unpow_binary64_1813` `flip--_binary64_1711` `unpow-prod-down_binary64_1815` `flip3--_binary64_1740` `*-commutative_binary64_1667` `unswap-sqr_binary64_1704`
2×	`cancel-sign-sub-inv_binary64_1702` `sub-neg_binary64_1729`
1×	`distribute-lft-out_binary64_1687` `pow-pow_binary64_1808` `sqr-pow_binary64_1708` `pow-to-exp_binary64_1805` `pow-exp_binary64_1804` `unpow2_binary64_1801`

Counts

4 → 93

Calls

8 calls:

13.0ms	(.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a)))))
8.0ms	(.f64 (.f64 a a) (+.f64 1 a))
8.0ms	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
5.0ms	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)
0.0ms	(-.f64 1 (*.f64 3 a))

series528.0ms (11.3%)

Counts

4 → 43

Calls

4 calls:

206.0ms	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)
181.0ms	(.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a)))))
95.0ms	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
46.0ms	(.f64 (.f64 a a) (+.f64 1 a))

Compiler

Compiled 2002 to 1561 computations (22% saved)

simplify74.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5037	2428

prune237.0ms (5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	134	2	136
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	134	3	137

Error

0.0b

Counts

137 → 3

Compiler

Compiled 4930 to 2716 computations (44.9% saved)

localize24.0ms (0.5%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 (.f64 a a) (+.f64 1 a))
0.0b	(.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a)))))
0.0b	(+.f64 (+.f64 (pow.f64 a 4) (+.f64 (pow.f64 b 4) (.f64 2 (.f64 (.f64 b b) (.f64 a a))))) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a))))))
0.0b	(-.f64 1 (*.f64 3 a))
0.0b	(.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a)))))
0.1b	(.f64 (.f64 a a) (+.f64 1 a))
0.5b	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
2.4b	(.f64 (.f64 b b) (*.f64 a a))

rewrite52.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

44×	`pow1_binary64_1797`
28×	`add-cbrt-cube_binary64_1772` `add-exp-log_binary64_1774`
21×	`pow-prod-down_binary64_1807`
18×	`associate-*r/_binary64_1678`
15×	`cbrt-unprod_binary64_1769` `prod-exp_binary64_1785`
12×	`add-sqr-sqrt_binary64_1758`
11×	`associate-r_binary64_1676`
10×	`*-un-lft-identity_binary64_1736`
8×	`add-cube-cbrt_binary64_1771`
6×	`associate-l_binary64_1677`
4×	`frac-add_binary64_1744` `add-log-exp_binary64_1775` `pow-plus_binary64_1799` `flip-+_binary64_1710` `*-commutative_binary64_1667` `distribute-rgt-in_binary64_1686` `flip3-+_binary64_1739` `pow-prod-up_binary64_1806` `unswap-sqr_binary64_1704` `distribute-lft-in_binary64_1685`
3×	`flip--_binary64_1711` `flip3--_binary64_1740`
2×	`cancel-sign-sub-inv_binary64_1702` `pow2_binary64_1817` `pow-sqr_binary64_1709` `sub-neg_binary64_1729`
1×	`distribute-lft-out_binary64_1687`

Counts

4 → 104

Calls

8 calls:

13.0ms	(.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a)))))
9.0ms	(.f64 (.f64 b b) (*.f64 a a))
9.0ms	(.f64 (.f64 a a) (+.f64 1 a))
8.0ms	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
0.0ms	(-.f64 1 (*.f64 3 a))

series414.0ms (8.8%)

Counts

4 → 31

Calls

4 calls:

186.0ms	(.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a)))))
94.0ms	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
86.0ms	(.f64 (.f64 b b) (*.f64 a a))
47.0ms	(.f64 (.f64 a a) (+.f64 1 a))

Compiler

Compiled 1962 to 1513 computations (22.9% saved)

simplify69.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

135 → 135

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4962	2169
1	4962	2169

prune269.0ms (5.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	135	0	135
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	135	3	138

Error

0.0b

Counts

138 → 3

Compiler

Compiled 5855 to 3487 computations (40.4% saved)

localize18.0ms (0.4%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 (.f64 a a) (+.f64 1 a))
0.0b	(.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a)))))
0.0b	(+.f64 (cbrt.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6)) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a))))))
0.0b	(-.f64 1 (*.f64 3 a))
0.1b	(.f64 (.f64 a a) (+.f64 1 a))
0.3b	(pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6)
0.5b	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
24.7b	(cbrt.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6))

rewrite36.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`pow1_binary64_1797` `add-exp-log_binary64_1774`
14×	`add-cbrt-cube_binary64_1772`
12×	`add-sqr-sqrt_binary64_1758` `*-un-lft-identity_binary64_1736`
10×	`add-cube-cbrt_binary64_1771`
7×	`associate-r_binary64_1676` `cbrt-prod_binary64_1767`
6×	`unpow-prod-down_binary64_1815` `cbrt-unprod_binary64_1769` `prod-exp_binary64_1785` `pow-prod-down_binary64_1807`
4×	`add-log-exp_binary64_1775` `associate-*r/_binary64_1678`
3×	`pow-unpow_binary64_1813` `distribute-rgt-in_binary64_1686` `distribute-lft-in_binary64_1685`
2×	`sqr-pow_binary64_1708` `cancel-sign-sub-inv_binary64_1702` `associate-l_binary64_1677` `sub-neg_binary64_1729` `*-commutative_binary64_1667` `unswap-sqr_binary64_1704`
1×	`distribute-lft-out_binary64_1687` `pow-pow_binary64_1808` `pow1/3_binary64_1818` `flip--_binary64_1711` `flip-+_binary64_1710` `flip3--_binary64_1740` `pow-to-exp_binary64_1805` `flip3-+_binary64_1739` `pow-exp_binary64_1804`

Counts

4 → 81

Calls

8 calls:

8.0ms	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
8.0ms	(.f64 (.f64 a a) (+.f64 1 a))
5.0ms	(pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6)
5.0ms	(cbrt.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6))
0.0ms	(-.f64 1 (*.f64 3 a))

series407.0ms (8.7%)

Counts

4 → 38

Calls

4 calls:

210.0ms	(cbrt.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6))
96.0ms	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
53.0ms	(pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6)
48.0ms	(.f64 (.f64 a a) (+.f64 1 a))

Compiler

Compiled 1924 to 1499 computations (22.1% saved)

simplify95.0ms (2%)

Algorithm

1×	egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	4950	1624
1	4950	1624

prune186.0ms (4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	118	1	119
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	118	4	122

Error

0.0b

Counts

122 → 4

Compiler

Compiled 4187 to 2314 computations (44.7% saved)

localize22.0ms (0.5%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 (.f64 a a) (+.f64 1 a))
0.0b	(.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a)))))
0.0b	(+.f64 (.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6))) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6)))) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (*.f64 3 a))))))
0.0b	(-.f64 1 (*.f64 3 a))
10.6b	(sqrt.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6))
10.6b	(sqrt.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6))
27.2b	(cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6)))
27.2b	(cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6)))

rewrite32.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`sqrt-prod_binary64_1752`
20×	`cbrt-prod_binary64_1767`
18×	`add-sqr-sqrt_binary64_1758`
14×	`unpow-prod-down_binary64_1815` `add-cube-cbrt_binary64_1771` `*-un-lft-identity_binary64_1736`
6×	`sqr-pow_binary64_1708` `rem-sqrt-square_binary64_1749`
4×	`pow1_binary64_1797` `add-cbrt-cube_binary64_1772` `add-exp-log_binary64_1774` `add-log-exp_binary64_1775`
2×	`pow1/3_binary64_1818` `sqrt-pow1_binary64_1754` `pow1/2_binary64_1816`

Counts

4 → 74

Calls

8 calls:

6.0ms	(cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6)))
5.0ms	(cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6)))
5.0ms	(sqrt.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6))
5.0ms	(sqrt.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6))
0.0ms	(-.f64 1 (*.f64 3 a))

series327.0ms (7%)

Counts

4 → 36

Calls

4 calls:

111.0ms	(cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6)))
106.0ms	(cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6)))
57.0ms	(sqrt.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6))
53.0ms	(sqrt.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6))

Compiler

Compiled 2460 to 1752 computations (28.8% saved)

simplify82.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4984	1710
1	4984	1710

prune231.0ms (4.9%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	110	0	110
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	110	4	114

Error

0.0b

Counts

114 → 4

Compiler

Compiled 5200 to 2655 computations (48.9% saved)

regimes188.0ms (4%)

Accuracy

Total 0.0b remaining (53.2%)

Threshold costs 0.0b (53.2%)

Compiler

Compiled 2946 to 1883 computations (36.1% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	79	58
1	79	58

end0.0ms (0%)

sample1.0s (21.9%)

Algorithm

1×

intervals

Results

514.0ms	8000×	body	128	valid
0.0ms	5×	body	128	invalid

Compiler

Compiled 550 to 356 computations (35.3% saved)

Pareto

Details

analyze131.0ms (2.8%)

sample27.0ms (0.6%)

simplify151.0ms (3.2%)

prune3.0ms (0.1%)

localize16.0ms (0.4%)

rewrite46.0ms (1%)

series528.0ms (11.3%)

simplify74.0ms (1.6%)

prune237.0ms (5%)

localize24.0ms (0.5%)

rewrite52.0ms (1.1%)

series414.0ms (8.8%)

simplify69.0ms (1.5%)

prune269.0ms (5.7%)

localize18.0ms (0.4%)

rewrite36.0ms (0.8%)

series407.0ms (8.7%)

simplify95.0ms (2%)

prune186.0ms (4%)

localize22.0ms (0.5%)

rewrite32.0ms (0.7%)

series327.0ms (7%)

simplify82.0ms (1.7%)

prune231.0ms (4.9%)

regimes188.0ms (4%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.0s (21.9%)

Profiling