Details

analyze262.0ms (3.3%)

Algorithm

1×

Search

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

Compiler

Compiled 30 to 24 computations (20% saved)

sample33.0ms (0.4%)

Algorithm

1×

intervals

Results

12.0ms	247×	body	128	valid
9.0ms	288×	pre	128	true
2.0ms	32×	body	128	nan
1.0ms	9×	body	256	valid

Compiler

Compiled 47 to 41 computations (12.8% saved)

simplify459.0ms (5.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (297.0ms)

Iter	Nodes	Cost
0	1706	24
1	1706	24

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

Merged error: 27.8b

Counts

2 → 1

Compiler

Compiled 66 to 54 computations (18.2% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 3 a) c)
0.2b	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
0.3b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
27.7b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))

rewrite41.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`*-un-lft-identity_binary64_1455`
14×	`add-cbrt-cube_binary64_1491` `add-exp-log_binary64_1493`
10×	`add-log-exp_binary64_1494`
9×	`pow1_binary64_1516`
7×	`add-sqr-sqrt_binary64_1477` `add-cube-cbrt_binary64_1490`
6×	`distribute-lft-out_binary64_1406`
5×	`associate-/l*_binary64_1400` `times-frac_binary64_1461`
4×	`prod-exp_binary64_1504` `cbrt-unprod_binary64_1488`
3×	`associate-r_binary64_1395` `distribute-rgt-neg-in_binary64_1413` `pow-prod-down_binary64_1526`
2×	`flip-+_binary64_1429` `associate-/l/_binary64_1402` `neg-sub0_binary64_1450` `associate-+l-_binary64_1390` `div-exp_binary64_1506` `cbrt-undiv_binary64_1489` `flip3-+_binary64_1458` `sum-log_binary64_1546`
1×	`neg-log_binary64_1548` `clear-num_binary64_1454` `associate-/r_binary64_1399` `-commutative_binary64_1386` `flip--_binary64_1430` `frac-2neg_binary64_1466` `diff-log_binary64_1547` `cancel-sign-sub-inv_binary64_1421` `sub-neg_binary64_1448` `div-inv_binary64_1452` `+-commutative_binary64_1385` `flip3--_binary64_1459` `div-sub_binary64_1460` `associate-l_binary64_1396`

Counts

4 → 73

Calls

4 calls:

14.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
10.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
6.0ms	(.f64 (.f64 3 a) c)
5.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))

series444.0ms (5.6%)

Counts

4 → 12

Calls

4 calls:

218.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
134.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
65.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
27.0ms	(.f64 (.f64 3 a) c)

simplify63.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5018	1664

prune219.0ms (2.7%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	76	9	85
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	77	9	86

Merged error: 0.4b

Counts

86 → 9

Compiler

Compiled 4371 to 2955 computations (32.4% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 3 a) c)
0.2b	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
0.3b	(/.f64 (.f64 (.f64 3 a) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))))
0.3b	(/.f64 (/.f64 (.f64 (.f64 3 a) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (.f64 3 a))

rewrite65.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

50×	`add-cbrt-cube_binary64_1491` `add-exp-log_binary64_1493`
34×	`times-frac_binary64_1461`
27×	`add-sqr-sqrt_binary64_1477` `*-un-lft-identity_binary64_1455`
17×	`div-exp_binary64_1506` `cbrt-undiv_binary64_1489`
16×	`prod-exp_binary64_1504` `cbrt-unprod_binary64_1488`
14×	`associate-/l*_binary64_1400`
11×	`add-cube-cbrt_binary64_1490`
9×	`pow1_binary64_1516`
8×	`distribute-lft-out--_binary64_1407` `difference-of-squares_binary64_1424` `associate-/r*_binary64_1399`
6×	`associate-/r/_binary64_1401` `add-log-exp_binary64_1494`
4×	`sqrt-prod_binary64_1471` `distribute-rgt-neg-in_binary64_1413` `flip--_binary64_1430` `div-inv_binary64_1452` `flip3--_binary64_1459`
3×	`associate-r_binary64_1395` `pow-prod-down_binary64_1526`
2×	`clear-num_binary64_1454` `frac-2neg_binary64_1466`
1×	`associate-/l/_binary64_1402` `-commutative_binary64_1386` `diff-log_binary64_1547` `cancel-sign-sub-inv_binary64_1421` `sub-neg_binary64_1448` `associate-l*_binary64_1396`

Counts

4 → 117

Calls

4 calls:

20.0ms	(/.f64 (/.f64 (.f64 (.f64 3 a) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (.f64 3 a))
16.0ms	(/.f64 (.f64 (.f64 3 a) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))))
7.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
6.0ms	(.f64 (.f64 3 a) c)

series772.0ms (9.7%)

Counts

4 → 12

Calls

4 calls:

379.0ms	(/.f64 (.f64 (.f64 3 a) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))))
301.0ms	(/.f64 (/.f64 (.f64 (.f64 3 a) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (.f64 3 a))
63.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
29.0ms	(.f64 (.f64 3 a) c)

simplify100.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4925	3400
1	4925	3400

prune486.0ms (6.1%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	119	10	129
Fresh	8	0	8
Picked	1	0	1
Done	0	0	0
Total	128	10	138

Merged error: 0.0b

Counts

138 → 10

Compiler

Compiled 10155 to 6852 computations (32.5% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 3 a))))))
0.2b	(-.f64 (.f64 b b) (.f64 c (*.f64 3 a)))
0.3b	(/.f64 (.f64 (.f64 3 a) (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 3 a))))))) (.f64 3 a))
0.3b	(.f64 (.f64 3 a) (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 3 a)))))))

rewrite76.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

59×	`add-cbrt-cube_binary64_1491` `add-exp-log_binary64_1493`
55×	`add-sqr-sqrt_binary64_1477` `*-un-lft-identity_binary64_1455`
43×	`times-frac_binary64_1461`
27×	`associate-r_binary64_1395` `add-cube-cbrt_binary64_1490`
23×	`prod-exp_binary64_1504` `cbrt-unprod_binary64_1488`
17×	`div-exp_binary64_1506` `cbrt-undiv_binary64_1489`
14×	`distribute-lft-out--_binary64_1407` `difference-of-squares_binary64_1424`
9×	`pow1_binary64_1516`
8×	`associate-/r*_binary64_1399`
7×	`sqrt-prod_binary64_1471` `distribute-rgt-neg-in_binary64_1413`
6×	`add-log-exp_binary64_1494`
4×	`associate-/r/_binary64_1401` `associate-/l*_binary64_1400`
3×	`flip--_binary64_1430` `div-inv_binary64_1452` `flip3--_binary64_1459` `pow-prod-down_binary64_1526`
2×	`associate-*r/_binary64_1397` `clear-num_binary64_1454` `frac-2neg_binary64_1466`
1×	`associate-/l/_binary64_1402` `-commutative_binary64_1386` `diff-log_binary64_1547` `cancel-sign-sub-inv_binary64_1421` `sub-neg_binary64_1448` `associate-l*_binary64_1396`

Counts

4 → 138

Calls

4 calls:

20.0ms	(/.f64 (.f64 (.f64 3 a) (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 3 a))))))) (.f64 3 a))
20.0ms	(.f64 (.f64 3 a) (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 3 a)))))))
12.0ms	(/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 3 a))))))
5.0ms	(-.f64 (.f64 b b) (.f64 c (*.f64 3 a)))

series1.1s (13.7%)

Counts

4 → 12

Calls

4 calls:

398.0ms	(.f64 (.f64 3 a) (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 3 a)))))))
337.0ms	(/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 3 a))))))
298.0ms	(/.f64 (.f64 (.f64 3 a) (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 3 a))))))) (.f64 3 a))
61.0ms	(-.f64 (.f64 b b) (.f64 c (*.f64 3 a)))

simplify113.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

150 → 150

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4936	4136
1	4936	4136

prune284.0ms (3.6%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	149	1	150
Fresh	1	8	9
Picked	0	1	1
Done	0	0	0
Total	150	10	160

Merged error: 0.0b

Counts

160 → 10

Compiler

Compiled 6126 to 3672 computations (40.1% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 3 a))))))
0.2b	(-.f64 (.f64 b b) (.f64 c (*.f64 3 a)))
0.2b	(.f64 a (/.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 3 a)))))) a))
0.3b	(/.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 3 a)))))) a)

rewrite124.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Rules

333×	`times-frac_binary64_1461`
259×	`add-sqr-sqrt_binary64_1477`
250×	`*-un-lft-identity_binary64_1455`
150×	`add-cube-cbrt_binary64_1490`
85×	`associate-r_binary64_1395`
50×	`distribute-lft-out--_binary64_1407` `difference-of-squares_binary64_1424`
30×	`associate-/l*_binary64_1400`
25×	`sqrt-prod_binary64_1471` `distribute-rgt-neg-in_binary64_1413`
20×	`add-cbrt-cube_binary64_1491` `add-exp-log_binary64_1493`
16×	`associate-/r/_binary64_1401`
10×	`associate-/r*_binary64_1399` `div-inv_binary64_1452`
9×	`flip--_binary64_1430` `flip3--_binary64_1459`
7×	`div-exp_binary64_1506` `cbrt-undiv_binary64_1489`
6×	`pow1_binary64_1516` `add-log-exp_binary64_1494`
3×	`prod-exp_binary64_1504` `cbrt-unprod_binary64_1488` `associate-l_binary64_1396` `unswap-sqr_binary64_1423`
2×	`clear-num_binary64_1454` `frac-2neg_binary64_1466`
1×	`associate-r/_binary64_1397` `associate-/l/_binary64_1402` `-commutative_binary64_1386` `diff-log_binary64_1547` `cancel-sign-sub-inv_binary64_1421` `sub-neg_binary64_1448` `pow-prod-down_binary64_1526`

Counts

4 → 290

Calls

4 calls:

41.0ms	(.f64 a (/.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 3 a)))))) a))
18.0ms	(/.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 3 a)))))) a)
12.0ms	(/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 3 a))))))
5.0ms	(-.f64 (.f64 b b) (.f64 c (*.f64 3 a)))

series1.2s (14.5%)

Counts

4 → 12

Calls

4 calls:

473.0ms	(/.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 3 a)))))) a)
332.0ms	(/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 3 a))))))
292.0ms	(.f64 a (/.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 3 a)))))) a))
63.0ms	(-.f64 (.f64 b b) (.f64 c (*.f64 3 a)))

simplify145.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

302 → 302

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4992	10926
1	4992	10926

prune715.0ms (9%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	297	5	302
Fresh	5	3	8
Picked	1	0	1
Done	1	0	1
Total	304	8	312

Merged error: 0b

Counts

312 → 8

Compiler

Compiled 15752 to 8624 computations (45.3% saved)

regimes89.0ms (1.1%)

Compiler: Compiled 972 to 712 computations (26.7% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	81	23
1	81	23

end0.0ms (0%)

sample1.2s (14.8%)

Algorithm

1×

intervals

Results

393.0ms	7682×	body	128	valid
269.0ms	9017×	pre	128	true
47.0ms	1017×	body	128	nan
30.0ms	318×	body	256	valid

Compiler

Compiled 285 to 210 computations (26.3% saved)

Details

analyze262.0ms (3.3%)

sample33.0ms (0.4%)

simplify459.0ms (5.8%)

prune6.0ms (0.1%)

localize10.0ms (0.1%)

rewrite41.0ms (0.5%)

series444.0ms (5.6%)

simplify63.0ms (0.8%)

prune219.0ms (2.7%)

localize12.0ms (0.1%)

rewrite65.0ms (0.8%)

series772.0ms (9.7%)

simplify100.0ms (1.2%)

prune486.0ms (6.1%)

localize13.0ms (0.2%)

rewrite76.0ms (1%)

series1.1s (13.7%)

simplify113.0ms (1.4%)

prune284.0ms (3.6%)

localize13.0ms (0.2%)

rewrite124.0ms (1.6%)

series1.2s (14.5%)

simplify145.0ms (1.8%)

prune715.0ms (9%)

regimes89.0ms (1.1%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.2s (14.8%)

Profiling