Details

analyze782.0ms (5.5%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4975	144
1	4975	144
0	3	3
1	3	3

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
0%	74.9%	25.1%	5
0%	74.9%	25.1%	6
0%	74.9%	25.1%	7
6.2%	56.2%	37.6%	8
7.8%	53%	39.2%	9
10.9%	45.6%	43.4%	10
18.3%	31.4%	50.3%	11
19.1%	29.5%	51.3%	12
21.4%	24.8%	53.8%	13
25.8%	16.7%	57.5%	14

Compiler

Compiled 25 to 21 computations (16% saved)

sample46.0ms (0.3%)

Algorithm

1×

intervals

Results

25.0ms	256×	body	128	valid
4.0ms	48×	body	128	invalid
1.0ms	20×	body	128	nan

Compiler

Compiled 49 to 44 computations (10.2% saved)

simplify135.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (129.0ms)

Iter	Nodes	Cost
0	4823	36
1	4823	36

prune3.0ms (0%)

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

4.8b

Counts

2 → 1

Compiler

Compiled 48 to 40 computations (16.7% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 2069265617858471/2251799813685248)
0.1b	(-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x)
0.1b	(*.f64 (-.f64 x 1/2) (log.f64 x))
4.4b	(/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7320129949063637/9223372036854775808) z) 3202559735019045/1152921504606846976) z) 6004799503160637/72057594037927936) x)

rewrite329.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

4.5b

Rules

26×	`add-sqr-sqrt_binary64_11694` `*-un-lft-identity_binary64_11672`
22×	`add-cube-cbrt_binary64_11707`
18×	`log-prod_binary64_11758`
12×	`associate--l+_binary64_11609`
11×	`add-log-exp_binary64_11711`
10×	`associate-+l+_binary64_11605`
9×	`times-frac_binary64_11678` `distribute-rgt-in_binary64_11622` `distribute-lft-in_binary64_11621`
8×	`add-exp-log_binary64_11710` `add-cbrt-cube_binary64_11708`
7×	`pow1_binary64_11733`
6×	`cancel-sign-sub-inv_binary64_11638`
5×	`associate-l_binary64_11613`
4×	`associate-r_binary64_11612`
3×	`associate-/l_binary64_11617` `associate-/r_binary64_11616`
2×	`flip3-+_binary64_11675` `associate-/l/_binary64_11619` `flip-+_binary64_11646` `flip3--_binary64_11676` `associate-*l/_binary64_11615` `flip--_binary64_11647` `diff-log_binary64_11764` `sub-neg_binary64_11665` `sum-log_binary64_11763`
1×	`div-exp_binary64_11723` `cbrt-undiv_binary64_11706` `frac-2neg_binary64_11683` `clear-num_binary64_11671` `div-inv_binary64_11669` `pow-prod-down_binary64_11743` `prod-exp_binary64_11721` `cbrt-unprod_binary64_11705` `unswap-sqr_binary64_11640` `difference-of-squares_binary64_11641` `distribute-lft-out--_binary64_11624` `log-pow_binary64_11761` `*-commutative_binary64_11603` `distribute-lft-out_binary64_11623` `associate-+l-_binary64_11607` `+-commutative_binary64_11602`

Counts

4 → 102

Calls

4 calls:

20.0ms	(+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 2069265617858471/2251799813685248)
12.0ms	(/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7320129949063637/9223372036854775808) z) 3202559735019045/1152921504606846976) z) 6004799503160637/72057594037927936) x)
8.0ms	(-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x)
7.0ms	(*.f64 (-.f64 x 1/2) (log.f64 x))

Compiler

Compiled 3459 to 2298 computations (33.6% saved)

series910.0ms (6.4%)

Error

1.1b

Counts

4 → 33

Calls

4 calls:

471.0ms	(/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7320129949063637/9223372036854775808) z) 3202559735019045/1152921504606846976) z) 6004799503160637/72057594037927936) x)
156.0ms	(+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 2069265617858471/2251799813685248)
130.0ms	(-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x)
91.0ms	(*.f64 (-.f64 x 1/2) (log.f64 x))

Compiler

Compiled 2447 to 1892 computations (22.7% saved)

simplify100.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

135 → 135

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4967	2450
1	4967	2450

prune282.0ms (2%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	120	15	135
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	121	15	136

Error

0.5b

Counts

136 → 15

Compiler

Compiled 4529 to 3042 computations (32.8% saved)

localize34.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(*.f64 (-.f64 x 1/2) (log.f64 x))
0.2b	(*.f64 3202559735019045/1152921504606846976 (/.f64 z x))
3.1b	(.f64 (/.f64 (.f64 z z) x) (+.f64 7320129949063637/9223372036854775808 y))
7.7b	(/.f64 (*.f64 z z) x)

rewrite261.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

34×	`add-sqr-sqrt_binary64_11694`
25×	`add-exp-log_binary64_11710` `add-cbrt-cube_binary64_11708` `*-un-lft-identity_binary64_11672`
21×	`add-cube-cbrt_binary64_11707` `associate-r_binary64_11612`
17×	`times-frac_binary64_11678`
15×	`associate-l_binary64_11613`
11×	`pow1_binary64_11733`
8×	`prod-exp_binary64_11721` `cbrt-unprod_binary64_11705`
6×	`log-prod_binary64_11758`
5×	`div-exp_binary64_11723` `cbrt-undiv_binary64_11706` `unswap-sqr_binary64_11640`
4×	`add-log-exp_binary64_11711` `distribute-rgt-in_binary64_11622` `distribute-lft-in_binary64_11621`
3×	`div-inv_binary64_11669` `associate-/r_binary64_11616` `pow-prod-down_binary64_11743` `associate-l/_binary64_11615` `associate-r/_binary64_11614` `-commutative_binary64_11603`
2×	`flip3-+_binary64_11675` `frac-times_binary64_11682` `flip-+_binary64_11646`
1×	`frac-2neg_binary64_11683` `clear-num_binary64_11671` `associate-/l*_binary64_11617` `distribute-lft-out_binary64_11623` `flip3--_binary64_11676` `flip--_binary64_11647` `difference-of-squares_binary64_11641` `distribute-lft-out--_binary64_11624` `log-pow_binary64_11761`

Counts

4 → 117

Calls

4 calls:

10.0ms	(.f64 (/.f64 (.f64 z z) x) (+.f64 7320129949063637/9223372036854775808 y))
9.0ms	(*.f64 3202559735019045/1152921504606846976 (/.f64 z x))
9.0ms	(*.f64 (-.f64 x 1/2) (log.f64 x))
5.0ms	(/.f64 (*.f64 z z) x)

Compiler

Compiled 4325 to 2336 computations (46% saved)

series515.0ms (3.6%)

Error

0.5b

Counts

4 → 29

Calls

4 calls:

197.0ms	(.f64 (/.f64 (.f64 z z) x) (+.f64 7320129949063637/9223372036854775808 y))
113.0ms	(*.f64 (-.f64 x 1/2) (log.f64 x))
99.0ms	(/.f64 (*.f64 z z) x)
70.0ms	(*.f64 3202559735019045/1152921504606846976 (/.f64 z x))

Compiler

Compiled 2579 to 1868 computations (27.6% saved)

simplify107.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	4949	1739
1	4949	1739

prune280.0ms (2%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	143	3	146
Fresh	4	10	14
Picked	1	0	1
Done	0	0	0
Total	148	13	161

Error

0.0b

Counts

161 → 13

Compiler

Compiled 5407 to 3041 computations (43.8% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(*.f64 (-.f64 x 1/2) (log.f64 x))
0.2b	(*.f64 z (/.f64 z x))
0.2b	(*.f64 3202559735019045/1152921504606846976 (/.f64 z x))
3.1b	(.f64 (.f64 z (/.f64 z x)) (+.f64 7320129949063637/9223372036854775808 y))

rewrite292.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

39×	`add-sqr-sqrt_binary64_11694`
34×	`associate-r_binary64_11612`
29×	`*-un-lft-identity_binary64_11672`
25×	`add-exp-log_binary64_11710` `add-cbrt-cube_binary64_11708` `add-cube-cbrt_binary64_11707`
20×	`times-frac_binary64_11678`
16×	`pow1_binary64_11733`
12×	`associate-l_binary64_11613`
10×	`prod-exp_binary64_11721` `cbrt-unprod_binary64_11705`
7×	`associate-*r/_binary64_11614`
6×	`pow-prod-down_binary64_11743` `log-prod_binary64_11758`
5×	`unswap-sqr_binary64_11640`
4×	`add-log-exp_binary64_11711` `distribute-rgt-in_binary64_11622` `distribute-lft-in_binary64_11621` `*-commutative_binary64_11603`
3×	`div-exp_binary64_11723` `cbrt-undiv_binary64_11706` `associate-*l/_binary64_11615`
2×	`flip3-+_binary64_11675` `frac-times_binary64_11682` `flip-+_binary64_11646` `div-inv_binary64_11669`
1×	`distribute-lft-out_binary64_11623` `flip3--_binary64_11676` `flip--_binary64_11647` `difference-of-squares_binary64_11641` `distribute-lft-out--_binary64_11624` `log-pow_binary64_11761`

Counts

4 → 121

Calls

4 calls:

21.0ms	(.f64 (.f64 z (/.f64 z x)) (+.f64 7320129949063637/9223372036854775808 y))
13.0ms	(*.f64 3202559735019045/1152921504606846976 (/.f64 z x))
8.0ms	(*.f64 z (/.f64 z x))
7.0ms	(*.f64 (-.f64 x 1/2) (log.f64 x))

Compiler

Compiled 4487 to 2403 computations (46.4% saved)

series520.0ms (3.7%)

Error

0.0b

Counts

4 → 29

Calls

4 calls:

201.0ms	(.f64 (.f64 z (/.f64 z x)) (+.f64 7320129949063637/9223372036854775808 y))
100.0ms	(*.f64 z (/.f64 z x))
91.0ms	(*.f64 (-.f64 x 1/2) (log.f64 x))
81.0ms	(*.f64 3202559735019045/1152921504606846976 (/.f64 z x))

Compiler

Compiled 2579 to 1847 computations (28.4% saved)

simplify88.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

150 → 150

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4972	1731
1	4972	1731

prune521.0ms (3.7%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	147	3	150
Fresh	2	10	12
Picked	1	0	1
Done	0	0	0
Total	150	13	163

Error

0.0b

Counts

163 → 13

Compiler

Compiled 5576 to 3126 computations (43.9% saved)

localize36.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.3b	(+.f64 (.f64 2 (.f64 (+.f64 x -1/2) (log.f64 (cbrt.f64 x)))) (*.f64 (+.f64 x -1/2) (log.f64 (cbrt.f64 x))))
0.5b	(cbrt.f64 x)
0.5b	(cbrt.f64 x)
3.1b	(.f64 (.f64 z (/.f64 z x)) (+.f64 7320129949063637/9223372036854775808 y))

rewrite327.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

36×	`log-prod_binary64_11758`
31×	`distribute-rgt-in_binary64_11622` `distribute-lft-in_binary64_11621`
24×	`cbrt-prod_binary64_11703` `associate-+l+_binary64_11605`
21×	`*-un-lft-identity_binary64_11672`
19×	`add-cube-cbrt_binary64_11707` `add-sqr-sqrt_binary64_11694`
13×	`add-exp-log_binary64_11710` `add-cbrt-cube_binary64_11708`
12×	`associate-+r+_binary64_11604`
9×	`pow1_binary64_11733` `associate-r/_binary64_11614` `associate-l/_binary64_11615`
7×	`flip3-+_binary64_11675` `flip-+_binary64_11646`
6×	`add-log-exp_binary64_11711`
5×	`prod-exp_binary64_11721` `cbrt-unprod_binary64_11705`
4×	`associate-r_binary64_11612` `frac-add_binary64_11680`
3×	`pow-prod-down_binary64_11743`
2×	`frac-times_binary64_11682` `pow1/3_binary64_11754`
1×	`div-exp_binary64_11723` `cbrt-undiv_binary64_11706` `associate-l_binary64_11613` `distribute-lft-out_binary64_11623` `*-commutative_binary64_11603` `sum-log_binary64_11763` `distribute-lft1-in_binary64_11627` `+-commutative_binary64_11602`

Counts

4 → 102

Calls

4 calls:

17.0ms	(.f64 (.f64 z (/.f64 z x)) (+.f64 7320129949063637/9223372036854775808 y))
15.0ms	(+.f64 (.f64 2 (.f64 (+.f64 x -1/2) (log.f64 (cbrt.f64 x)))) (*.f64 (+.f64 x -1/2) (log.f64 (cbrt.f64 x))))
2.0ms	(cbrt.f64 x)
2.0ms	(cbrt.f64 x)

Compiler

Compiled 5273 to 2900 computations (45% saved)

series764.0ms (5.4%)

Error

0.0b

Counts

4 → 23

Calls

4 calls:

263.0ms	(+.f64 (.f64 2 (.f64 (+.f64 x -1/2) (log.f64 (cbrt.f64 x)))) (*.f64 (+.f64 x -1/2) (log.f64 (cbrt.f64 x))))
254.0ms	(.f64 (.f64 z (/.f64 z x)) (+.f64 7320129949063637/9223372036854775808 y))
110.0ms	(cbrt.f64 x)
93.0ms	(cbrt.f64 x)

Compiler

Compiled 2702 to 1929 computations (28.6% saved)

simplify96.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

125 → 125

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4984	1854
1	4984	1854

prune314.0ms (2.2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	124	1	125
Fresh	2	10	12
Picked	1	0	1
Done	0	0	0
Total	127	11	138

Error

0.0b

Counts

138 → 11

Compiler

Compiled 5526 to 3060 computations (44.6% saved)

regimes2.6s (18.1%)

Accuracy

Total 0.4b remaining (97.7%)

Threshold costs 0.4b (97.7%)

Compiler

Compiled 34049 to 26439 computations (22.4% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	80	45
1	80	45

end0.0ms (0%)

sample4.8s (34.1%)

Algorithm

1×

intervals

Results

717.0ms	8000×	body	128	valid
105.0ms	1176×	body	128	invalid
57.0ms	752×	body	128	nan

Compiler

Compiled 4006 to 3100 computations (22.6% saved)

Details

analyze782.0ms (5.5%)

sample46.0ms (0.3%)

simplify135.0ms (0.9%)

prune3.0ms (0%)

localize17.0ms (0.1%)

rewrite329.0ms (2.3%)

series910.0ms (6.4%)

simplify100.0ms (0.7%)

prune282.0ms (2%)

localize34.0ms (0.2%)

rewrite261.0ms (1.8%)

series515.0ms (3.6%)

simplify107.0ms (0.8%)

prune280.0ms (2%)

localize24.0ms (0.2%)

rewrite292.0ms (2.1%)

series520.0ms (3.7%)

simplify88.0ms (0.6%)

prune521.0ms (3.7%)

localize36.0ms (0.3%)

rewrite327.0ms (2.3%)

series764.0ms (5.4%)

simplify96.0ms (0.7%)

prune314.0ms (2.2%)

regimes2.6s (18.1%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample4.8s (34.1%)

Profiling