Details

analyze1.5s (6.2%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5212	209
0	5	5
1	5	5

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
1.8%	98%	0.2%	10
7.7%	92.1%	0.2%	11
10.4%	89.3%	0.2%	12
12.2%	87.5%	0.2%	13
21.9%	77.7%	0.4%	14

Compiler

Compiled 14 to 12 computations (14.3% saved)

sample30.0ms (0.1%)

Algorithm

1×

intervals

Results

8.0ms	218×	body	128	valid
2.0ms	20×	body	512	valid
2.0ms	42×	body	128	invalid
2.0ms	11×	body	1024	valid
0.0ms	6×	body	256	valid
0.0ms	1×	body	2048	valid

Compiler

Compiled 27 to 28 computations (-3.7% saved)

simplify136.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (126.0ms)

Iter	Nodes	Cost
0	4973	19
1	4973	19

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

14.2b

Counts

2 → 1

Compiler

Compiled 26 to 22 computations (15.4% saved)

localize10.0ms (0%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (-.f64 t x) (-.f64 a z))
3.0b	(+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))))
4.9b	(*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))

rewrite218.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

10.3b

Rules

78×	`add-sqr-sqrt_binary64_1805`
73×	`*-un-lft-identity_binary64_1783`
51×	`times-frac_binary64_1789`
31×	`associate-r_binary64_1723`
27×	`add-cube-cbrt_binary64_1818`
23×	`difference-of-squares_binary64_1752` `distribute-lft-out--_binary64_1735`
10×	`add-exp-log_binary64_1821` `add-cbrt-cube_binary64_1819`
5×	`pow1_binary64_1844` `add-log-exp_binary64_1822` `flip3--_binary64_1787` `flip--_binary64_1758` `associate-l_binary64_1724` `associate-/l_binary64_1728` `associate-/r_binary64_1727`
4×	`associate-/r/_binary64_1729`
2×	`div-exp_binary64_1834` `prod-exp_binary64_1832` `cbrt-unprod_binary64_1816` `cbrt-undiv_binary64_1817` `frac-times_binary64_1793` `unswap-sqr_binary64_1751` `associate-*l/_binary64_1726` `div-inv_binary64_1780` `associate-/l/_binary64_1730`
1×	`pow-prod-down_binary64_1854` `associate-r/_binary64_1725` `-commutative_binary64_1714` `sum-log_binary64_1874` `flip3-+_binary64_1786` `flip-+_binary64_1757` `+-commutative_binary64_1713` `frac-2neg_binary64_1794` `div-sub_binary64_1788` `clear-num_binary64_1782`

Counts

3 → 119

Calls

3 calls:

32.0ms	(*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))
9.0ms	(/.f64 (-.f64 t x) (-.f64 a z))
4.0ms	(+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))))

Compiler

Compiled 2779 to 576 computations (79.3% saved)

series2.1s (9.1%)

Error

0.9b

Counts

3 → 114

Calls

3 calls:

978.0ms	(+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))))
720.0ms	(*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))
254.0ms	(/.f64 (-.f64 t x) (-.f64 a z))

Compiler

Compiled 10139 to 5367 computations (47.1% saved)

simplify99.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

233 → 233

Iterations

Useful iterations: 0 (19.0ms)

Iter	Nodes	Cost
0	5359	8649

prune288.0ms (1.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	223	10	233
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	223	11	234

Error

0.9b

Counts

234 → 11

Compiler

Compiled 7244 to 1443 computations (80.1% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (-.f64 t x))
0.6b	(cbrt.f64 (-.f64 t x))
1.3b	(.f64 (-.f64 y z) (/.f64 (.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (-.f64 t x))) (*.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))))
8.4b	(+.f64 x (.f64 (.f64 (-.f64 y z) (/.f64 (.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (-.f64 t x))) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z))))) (/.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (-.f64 a z)))))

rewrite199.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.9b

Rules

22×	`add-exp-log_binary64_1821`
17×	`add-sqr-sqrt_binary64_1805`
16×	`cbrt-div_binary64_1815`
14×	`add-cbrt-cube_binary64_1819` `*-un-lft-identity_binary64_1783`
13×	`associate-r_binary64_1723`
10×	`flip3--_binary64_1787` `flip--_binary64_1758` `cbrt-prod_binary64_1814`
9×	`prod-exp_binary64_1832` `cbrt-unprod_binary64_1816`
8×	`add-cube-cbrt_binary64_1818` `associate-/r/_binary64_1729`
6×	`add-log-exp_binary64_1822` `pow1_binary64_1844` `frac-times_binary64_1793`
5×	`associate-l_binary64_1724`
4×	`div-exp_binary64_1834` `cbrt-undiv_binary64_1817` `associate-*l/_binary64_1726`
3×	`associate-*r/_binary64_1725` `difference-of-squares_binary64_1752` `distribute-lft-out--_binary64_1735`
2×	`unswap-sqr_binary64_1751` `times-frac_binary64_1789` `pow1/3_binary64_1865`
1×	`sum-log_binary64_1874` `flip3-+_binary64_1786` `flip-+_binary64_1757` `+-commutative_binary64_1713` `pow-prod-down_binary64_1854` `div-inv_binary64_1780` `*-commutative_binary64_1714`

Counts

4 → 85

Calls

4 calls:

27.0ms	(.f64 (-.f64 y z) (/.f64 (.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (-.f64 t x))) (*.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))))
5.0ms	(cbrt.f64 (-.f64 t x))
5.0ms	(+.f64 x (.f64 (.f64 (-.f64 y z) (/.f64 (.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (-.f64 t x))) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z))))) (/.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (-.f64 a z)))))
3.0ms	(cbrt.f64 (-.f64 t x))

Compiler

Compiled 4208 to 541 computations (87.1% saved)

series5.9s (25.1%)

Error

0.9b

Counts

4 → 89

Calls

4 calls:

4.1s	(.f64 (-.f64 y z) (/.f64 (.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (-.f64 t x))) (*.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))))
1.3s	(+.f64 x (.f64 (.f64 (-.f64 y z) (/.f64 (.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (-.f64 t x))) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z))))) (/.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (-.f64 a z)))))
114.0ms	(cbrt.f64 (-.f64 t x))
112.0ms	(cbrt.f64 (-.f64 t x))

Compiler

Compiled 16488 to 10690 computations (35.2% saved)

simplify122.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

174 → 174

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5306	8158

prune308.0ms (1.3%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	174	0	174
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	174	11	185

Error

0.9b

Counts

185 → 11

Compiler

Compiled 8308 to 2341 computations (71.8% saved)

localize11.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (-.f64 a z) (-.f64 t x))
0.5b	(/.f64 1 (/.f64 (-.f64 a z) (-.f64 t x)))
4.2b	(+.f64 x (*.f64 (-.f64 y z) (/.f64 1 (/.f64 (-.f64 a z) (-.f64 t x)))))
4.9b	(*.f64 (-.f64 y z) (/.f64 1 (/.f64 (-.f64 a z) (-.f64 t x))))

rewrite566.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

0.9b

Rules

392×	`times-frac_binary64_1789`
338×	`add-sqr-sqrt_binary64_1805`
326×	`*-un-lft-identity_binary64_1783`
158×	`add-cube-cbrt_binary64_1818`
98×	`associate-r_binary64_1723`
83×	`difference-of-squares_binary64_1752` `distribute-lft-out--_binary64_1735`
36×	`add-exp-log_binary64_1821` `associate-/r*_binary64_1727`
20×	`add-cbrt-cube_binary64_1819`
18×	`associate-/r/_binary64_1729`
15×	`div-exp_binary64_1834`
11×	`flip3--_binary64_1787` `flip--_binary64_1758`
10×	`div-inv_binary64_1780`
8×	`associate-/l*_binary64_1728`
7×	`pow1_binary64_1844` `prod-exp_binary64_1832` `cbrt-undiv_binary64_1817`
6×	`add-log-exp_binary64_1822`
5×	`unswap-sqr_binary64_1751` `associate-l_binary64_1724`
4×	`1-exp_binary64_1827` `rec-exp_binary64_1833`
3×	`cbrt-unprod_binary64_1816`
2×	`frac-times_binary64_1793` `associate-*l/_binary64_1726` `frac-2neg_binary64_1794` `clear-num_binary64_1782` `associate-/l/_binary64_1730`
1×	`pow-prod-down_binary64_1854` `un-div-inv_binary64_1781` `associate-r/_binary64_1725` `-commutative_binary64_1714` `sum-log_binary64_1874` `flip3-+_binary64_1786` `flip-+_binary64_1757` `+-commutative_binary64_1713` `inv-pow_binary64_1868` `pow-flip_binary64_1857` `div-sub_binary64_1788`

Counts

4 → 344

Calls

4 calls:

43.0ms	(*.f64 (-.f64 y z) (/.f64 1 (/.f64 (-.f64 a z) (-.f64 t x))))
18.0ms	(/.f64 1 (/.f64 (-.f64 a z) (-.f64 t x)))
9.0ms	(/.f64 (-.f64 a z) (-.f64 t x))
5.0ms	(+.f64 x (*.f64 (-.f64 y z) (/.f64 1 (/.f64 (-.f64 a z) (-.f64 t x)))))

Compiler

Compiled 9606 to 3185 computations (66.8% saved)

series2.6s (10.9%)

Error

0.9b

Counts

4 → 141

Calls

4 calls:

1.0s	(+.f64 x (*.f64 (-.f64 y z) (/.f64 1 (/.f64 (-.f64 a z) (-.f64 t x)))))
699.0ms	(*.f64 (-.f64 y z) (/.f64 1 (/.f64 (-.f64 a z) (-.f64 t x))))
315.0ms	(/.f64 (-.f64 a z) (-.f64 t x))
289.0ms	(/.f64 1 (/.f64 (-.f64 a z) (-.f64 t x)))

Compiler

Compiled 11861 to 6456 computations (45.6% saved)

simplify271.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

485 → 485

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	4987	14654
1	4987	14654

prune585.0ms (2.5%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	482	3	485
Fresh	4	4	8
Picked	1	0	1
Done	0	2	2
Total	487	9	496

Error

0.9b

Counts

496 → 9

Compiler

Compiled 13792 to 3259 computations (76.4% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 1 (-.f64 t x))
0.2b	(/.f64 1 (/.f64 1 (-.f64 t x)))
2.5b	(*.f64 (/.f64 (-.f64 y z) (-.f64 a z)) (/.f64 1 (/.f64 1 (-.f64 t x))))
4.2b	(+.f64 x (*.f64 (/.f64 (-.f64 y z) (-.f64 a z)) (/.f64 1 (/.f64 1 (-.f64 t x)))))

rewrite609.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Error

0.9b

Rules

298×	`times-frac_binary64_1789`
247×	`add-sqr-sqrt_binary64_1805`
212×	`*-un-lft-identity_binary64_1783`
132×	`add-cube-cbrt_binary64_1818`
106×	`add-exp-log_binary64_1821`
68×	`associate-r_binary64_1723`
57×	`div-exp_binary64_1834`
35×	`difference-of-squares_binary64_1752` `distribute-lft-out--_binary64_1735`
32×	`add-cbrt-cube_binary64_1819`
31×	`associate-l_binary64_1724`
26×	`prod-exp_binary64_1832` `associate-/r*_binary64_1727`
22×	`1-exp_binary64_1827` `rec-exp_binary64_1833`
20×	`associate-/r/_binary64_1729`
14×	`unswap-sqr_binary64_1751`
13×	`cbrt-undiv_binary64_1817`
11×	`div-inv_binary64_1780`
9×	`pow1_binary64_1844` `flip3--_binary64_1787` `flip--_binary64_1758`
6×	`add-log-exp_binary64_1822` `cbrt-unprod_binary64_1816` `associate-/l*_binary64_1728`
5×	`pow-flip_binary64_1857`
3×	`inv-pow_binary64_1868`
2×	`frac-2neg_binary64_1794` `clear-num_binary64_1782`
1×	`sum-log_binary64_1874` `flip3-+_binary64_1786` `flip-+_binary64_1757` `+-commutative_binary64_1713` `pow-prod-down_binary64_1854` `frac-times_binary64_1793` `un-div-inv_binary64_1781` `associate-l/_binary64_1726` `associate-r/_binary64_1725` `*-commutative_binary64_1714` `remove-double-div_binary64_1759`

Counts

4 → 327

Calls

4 calls:

76.0ms	(*.f64 (/.f64 (-.f64 y z) (-.f64 a z)) (/.f64 1 (/.f64 1 (-.f64 t x))))
13.0ms	(/.f64 1 (/.f64 1 (-.f64 t x)))
6.0ms	(/.f64 1 (-.f64 t x))
5.0ms	(+.f64 x (*.f64 (/.f64 (-.f64 y z) (-.f64 a z)) (/.f64 1 (/.f64 1 (-.f64 t x)))))

Compiler

Compiled 9219 to 4051 computations (56.1% saved)

series2.0s (8.5%)

Error

0.9b

Counts

4 → 114

Calls

4 calls:

1.0s	(+.f64 x (*.f64 (/.f64 (-.f64 y z) (-.f64 a z)) (/.f64 1 (/.f64 1 (-.f64 t x)))))
673.0ms	(*.f64 (/.f64 (-.f64 y z) (-.f64 a z)) (/.f64 1 (/.f64 1 (-.f64 t x))))
88.0ms	(/.f64 1 (-.f64 t x))
60.0ms	(/.f64 1 (/.f64 1 (-.f64 t x)))

Compiler

Compiled 9737 to 5252 computations (46.1% saved)

simplify177.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

441 → 441

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4970	11734
1	4970	11734

prune453.0ms (1.9%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	440	1	441
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	440	10	450

Error

0.8b

Counts

450 → 10

Compiler

Compiled 11775 to 3054 computations (74.1% saved)

regimes2.4s (10.2%)

Accuracy

Total 4.2b remaining (83.4%)

Threshold costs 0b (0%)

Compiler

Compiled 12594 to 8688 computations (31% saved)

bsearch6.0ms (0%)

Compiler: Compiled 13 to 11 computations (15.4% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	203	272
1	203	272

end0.0ms (0%)

sample2.9s (12.4%)

Algorithm

1×

intervals

Results

320.0ms	6711×	body	128	valid
70.0ms	379×	body	1024	valid
67.0ms	498×	body	512	valid
53.0ms	1225×	body	128	invalid
33.0ms	343×	body	256	valid
16.0ms	69×	body	2048	valid

Compiler

Compiled 2274 to 1496 computations (34.2% saved)

Details

analyze1.5s (6.2%)

sample30.0ms (0.1%)

simplify136.0ms (0.6%)

prune3.0ms (0%)

localize10.0ms (0%)

rewrite218.0ms (0.9%)

series2.1s (9.1%)

simplify99.0ms (0.4%)

prune288.0ms (1.2%)

localize18.0ms (0.1%)

rewrite199.0ms (0.8%)

series5.9s (25.1%)

simplify122.0ms (0.5%)

prune308.0ms (1.3%)

localize11.0ms (0%)

rewrite566.0ms (2.4%)

series2.6s (10.9%)

simplify271.0ms (1.2%)

prune585.0ms (2.5%)

localize18.0ms (0.1%)

rewrite609.0ms (2.6%)

series2.0s (8.5%)

simplify177.0ms (0.8%)

prune453.0ms (1.9%)

regimes2.4s (10.2%)

bsearch6.0ms (0%)

simplify6.0ms (0%)

end0.0ms (0%)

sample2.9s (12.4%)

Profiling