Details

analyze4.4s (11.7%)

Algorithm

1×

Search

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

Compiler

Compiled 50 to 40 computations (20% saved)

sample7.9s (21.1%)

Algorithm

1×

intervals

Results

6.2s	506×	body	8192	exit
698.0ms	359×	body	1024	overflowed
494.0ms	2177×	body	128	overflowed
207.0ms	196×	body	512	overflowed
99.0ms	3575×	pre	128	true
42.0ms	81×	body	256	overflowed
37.0ms	255×	body	128	valid
2.0ms	1×	body	1024	valid

Compiler

Compiled 93 to 79 computations (15.1% saved)

simplify217.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5010	68

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

Merged error: 3.0b

Counts

2 → 1

Compiler

Compiled 86 to 70 computations (18.6% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))
0.5b	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p)
0.7b	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p)
1.7b	(/.f64 (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))) c_n)) (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) c_n)))

rewrite200.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

1196×	`add-exp-log_binary64_1797`
692×	`pow-exp_binary64_1827`
684×	`prod-exp_binary64_1808`
595×	`div-exp_binary64_1810`
344×	`pow-to-exp_binary64_1828`
117×	`1-exp_binary64_1803` `rec-exp_binary64_1809`
51×	`*-un-lft-identity_binary64_1762`
37×	`times-frac_binary64_1768`
36×	`unpow-prod-down_binary64_1838`
31×	`add-sqr-sqrt_binary64_1783` `add-cube-cbrt_binary64_1794`
18×	`add-cbrt-cube_binary64_1795`
10×	`distribute-lft-out_binary64_1715`
9×	`pow1_binary64_1820`
6×	`associate-/r/_binary64_1710` `pow-pow_binary64_1831` `pow-unpow_binary64_1836`
5×	`associate-/r*_binary64_1708` `cbrt-undiv_binary64_1793`
4×	`div-inv_binary64_1759` `add-log-exp_binary64_1798` `cbrt-unprod_binary64_1792` `associate-/l*_binary64_1709`
3×	`inv-pow_binary64_1844` `flip3-+_binary64_1765` `flip-+_binary64_1736` `pow-flip_binary64_1833`
2×	`frac-2neg_binary64_1773` `sqr-pow_binary64_1734` `clear-num_binary64_1761`

Counts

4 → 489

Calls

4 calls:

58.0ms	(/.f64 (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))) c_n)) (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) c_n)))
9.0ms	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p)
8.0ms	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p)
7.0ms	(/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))

series1.8s (4.8%)

Counts

4 → 12

Calls

4 calls:

1.5s	(/.f64 (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))) c_n)) (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) c_n)))
104.0ms	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p)
98.0ms	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p)
47.0ms	(/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))

simplify218.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

501 → 501

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5264	27436

prune1.5s (4.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	498	3	501
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	499	3	502

Merged error: 0.2b

Counts

502 → 3

Compiler

Compiled 21772 to 13853 computations (36.4% saved)

localize29.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))
1.0b	(log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))
9.9b	(-.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))))
9.9b	(-.f64 (log.f64 (+.f64 1 (exp.f64 (neg.f64 s)))) (log.f64 (+.f64 1 (exp.f64 (neg.f64 t)))))

rewrite66.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

42×	`*-un-lft-identity_binary64_1762`
38×	`log-prod_binary64_1845`
36×	`add-sqr-sqrt_binary64_1783`
15×	`associate--r+_binary64_1700` `associate--l+_binary64_1701`
14×	`difference-of-squares_binary64_1731` `pow1_binary64_1820`
12×	`distribute-lft-out--_binary64_1716` `log-div_binary64_1846`
10×	`log-pow_binary64_1848` `add-cube-cbrt_binary64_1794`
8×	`times-frac_binary64_1768`
6×	`add-exp-log_binary64_1797`
4×	`flip3--_binary64_1766` `flip3-+_binary64_1765` `flip-+_binary64_1736` `add-log-exp_binary64_1798` `associate--r-_binary64_1703` `flip--_binary64_1737` `distribute-lft-out_binary64_1715` `add-cbrt-cube_binary64_1795` `associate--l-_binary64_1702`
2×	`diff-log_binary64_1851` `div-inv_binary64_1759` `sub-neg_binary64_1755` `rem-log-exp_binary64_1800`

Counts

4 → 100

Calls

4 calls:

28.0ms	(-.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))))
12.0ms	(-.f64 (log.f64 (+.f64 1 (exp.f64 (neg.f64 s)))) (log.f64 (+.f64 1 (exp.f64 (neg.f64 t)))))
4.0ms	(log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))
4.0ms	(log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))

series534.0ms (1.4%)

Counts

4 → 12

Calls

4 calls:

245.0ms	(-.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))))
125.0ms	(-.f64 (log.f64 (+.f64 1 (exp.f64 (neg.f64 s)))) (log.f64 (+.f64 1 (exp.f64 (neg.f64 t)))))
83.0ms	(log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))
80.0ms	(log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))

simplify100.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	4885	3125
1	4885	3125

prune292.0ms (0.8%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	110	2	112
Fresh	1	1	2
Picked	1	0	1
Done	0	0	0
Total	112	3	115

Merged error: 0.2b

Counts

115 → 3

Compiler

Compiled 5748 to 3802 computations (33.9% saved)

localize31.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))
0.0b	(*.f64 c_n (-.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))))))
0.1b	(log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))))
9.9b	(-.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))))

rewrite100.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

81×	`add-sqr-sqrt_binary64_1783`
76×	`*-un-lft-identity_binary64_1762`
55×	`log-prod_binary64_1845`
33×	`associate--l+_binary64_1701`
32×	`times-frac_binary64_1768` `difference-of-squares_binary64_1731`
20×	`add-cube-cbrt_binary64_1794`
18×	`distribute-lft-out--_binary64_1716`
16×	`pow1_binary64_1820`
14×	`distribute-rgt-in_binary64_1714` `distribute-lft-in_binary64_1713`
11×	`associate--r+_binary64_1700` `add-exp-log_binary64_1797`
10×	`log-div_binary64_1846`
9×	`log-pow_binary64_1848`
8×	`add-cbrt-cube_binary64_1795` `associate-r_binary64_1704`
7×	`flip3--_binary64_1766` `flip--_binary64_1737`
6×	`div-inv_binary64_1759` `associate--r-_binary64_1703`
4×	`associate-/r*_binary64_1708` `add-log-exp_binary64_1798` `distribute-lft-out_binary64_1715`
3×	`sub-neg_binary64_1755` `associate-/l_binary64_1709` `associate-l*_binary64_1705`
2×	`associate-/r/_binary64_1710` `div-exp_binary64_1810` `associate-*r/_binary64_1706` `associate--l-_binary64_1702`
1×	`frac-2neg_binary64_1773` `diff-log_binary64_1851` `inv-pow_binary64_1844` `pow-prod-down_binary64_1830` `prod-exp_binary64_1808` `flip3-+_binary64_1765` `clear-num_binary64_1761` `flip-+_binary64_1736` `unswap-sqr_binary64_1730` `pow-flip_binary64_1833` `cbrt-undiv_binary64_1793` `cbrt-unprod_binary64_1792` `*-commutative_binary64_1695` `1-exp_binary64_1803` `rec-exp_binary64_1809` `rem-log-exp_binary64_1800`

Counts

4 → 154

Calls

4 calls:

29.0ms	(-.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))))
21.0ms	(*.f64 c_n (-.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))))))
12.0ms	(log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))))
7.0ms	(/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))

series877.0ms (2.3%)

Counts

4 → 12

Calls

4 calls:

397.0ms	(*.f64 c_n (-.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))))))
256.0ms	(-.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))))
178.0ms	(log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))))
46.0ms	(/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))

simplify74.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

166 → 166

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5469	5600

prune435.0ms (1.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	165	1	166
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	166	3	169

Merged error: 0.2b

Counts

169 → 3

Compiler

Compiled 8286 to 5866 computations (29.2% saved)

localize43.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.0b	(pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) 3)
1.0b	(*.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))))
1.0b	(pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))) 3)
9.8b	(-.f64 (pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) 3) (pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))) 3))

rewrite88.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

64×	`add-sqr-sqrt_binary64_1783`
52×	`*-un-lft-identity_binary64_1762`
39×	`pow1_binary64_1820`
32×	`cube-prod_binary64_1787` `unpow-prod-down_binary64_1838`
28×	`difference-of-squares_binary64_1731`
26×	`log-pow_binary64_1848`
22×	`log-prod_binary64_1845`
21×	`distribute-lft-out--_binary64_1716`
16×	`add-cube-cbrt_binary64_1794`
11×	`distribute-rgt-in_binary64_1714` `distribute-lft-in_binary64_1713`
10×	`sqr-pow_binary64_1734`
8×	`times-frac_binary64_1768` `add-cbrt-cube_binary64_1795` `add-exp-log_binary64_1797`
6×	`add-log-exp_binary64_1798` `swap-sqr_binary64_1729` `pow-unpow_binary64_1836`
4×	`associate-l_binary64_1705` `associate-r_binary64_1704`
2×	`cube-mult_binary64_1789` `rem-cube-cbrt_binary64_1784` `div-inv_binary64_1759` `unpow3_binary64_1825` `pow-exp_binary64_1827` `pow-pow_binary64_1831` `pow-to-exp_binary64_1828`
1×	`pow-sqr_binary64_1735` `flip3--_binary64_1766` `diff-log_binary64_1851` `pow-prod-down_binary64_1830` `pow-prod-up_binary64_1829` `prod-exp_binary64_1808` `pow-plus_binary64_1822` `unswap-sqr_binary64_1730` `cbrt-unprod_binary64_1792` `flip--_binary64_1737` `sub-neg_binary64_1755` `*-commutative_binary64_1695` `difference-cubes_binary64_1764` `pow2_binary64_1840`

Counts

4 → 147

Calls

4 calls:

17.0ms	(*.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))))
16.0ms	(-.f64 (pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) 3) (pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))) 3))
3.0ms	(pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) 3)
3.0ms	(pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))) 3)

series1.2s (3.1%)

Counts

4 → 12

Calls

4 calls:

440.0ms	(-.f64 (pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) 3) (pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))) 3))
252.0ms	(pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) 3)
251.0ms	(pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))) 3)
213.0ms	(*.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))))

simplify87.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

159 → 159

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	4935	6077
1	4935	6077

prune1.2s (3.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	159	0	159
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	159	3	162

Merged error: 0.2b

Counts

162 → 3

Compiler

Compiled 16971 to 12429 computations (26.8% saved)

regimes121.0ms (0.3%)

Compiler: Compiled 1490 to 1322 computations (11.3% saved)

bsearch0.0ms (0%)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	218	60
1	218	60

end0.0ms (0%)

sample15.9s (42.5%)

Algorithm

1×

intervals

Results

12.3s	1087×	body	8192	exit
1.5s	813×	body	1024	overflowed
1.0s	4747×	body	128	overflowed
444.0ms	435×	body	512	overflowed
193.0ms	7841×	pre	128	true
97.0ms	202×	body	256	overflowed
72.0ms	547×	body	128	valid
13.0ms	1×	body	8192	valid
9.0ms	5×	body	1024	valid
5.0ms	1×	body	2048	overflowed
1.0ms	2×	body	256	valid
1.0ms	1×	body	512	valid

Compiler

Compiled 50 to 44 computations (12% saved)

Details

analyze4.4s (11.7%)

sample7.9s (21.1%)

simplify217.0ms (0.6%)

prune5.0ms (0%)

localize22.0ms (0.1%)

rewrite200.0ms (0.5%)

series1.8s (4.8%)

simplify218.0ms (0.6%)

prune1.5s (4.1%)

localize29.0ms (0.1%)

rewrite66.0ms (0.2%)

series534.0ms (1.4%)

simplify100.0ms (0.3%)

prune292.0ms (0.8%)

localize31.0ms (0.1%)

rewrite100.0ms (0.3%)

series877.0ms (2.3%)

simplify74.0ms (0.2%)

prune435.0ms (1.2%)

localize43.0ms (0.1%)

rewrite88.0ms (0.2%)

series1.2s (3.1%)

simplify87.0ms (0.2%)

prune1.2s (3.2%)

regimes121.0ms (0.3%)

bsearch0.0ms (0%)

simplify5.0ms (0%)

end0.0ms (0%)

sample15.9s (42.5%)

end0.0ms (0%)

Profiling