Details

analyze3.8s (19.7%)

Algorithm

2×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5057	880
0	6	6
1	6	6

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
0%	99.7%	0.3%	12
0.8%	98.9%	0.3%	13
0.8%	98.9%	0.3%	13
1.2%	98.5%	0.3%	14
1.2%	98.5%	0.3%	14

Compiler

Compiled 76 to 62 computations (18.4% saved)

sample663.0ms (3.4%)

Algorithm

2×

intervals

Results

45.0ms	512×	body	128	valid
8.0ms	64×	body	128	invalid

Compiler

Compiled 11057 to 10760 computations (2.7% saved)

simplify92.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (86.0ms)

Iter	Nodes	Cost
0	4955	55
1	4955	55

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

30.2b

Counts

2 → 1

Compiler

Compiled 74 to 60 computations (18.9% saved)

localize24.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 (+.f64 (.f64 (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t) z)
0.1b	(.f64 (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z)
1.5b	(.f64 y (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t) z) a) z) b))
29.2b	(/.f64 (.f64 y (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t) z) a) z) b)) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 z 4288183283079449/281474976710656) z) 4428869650076171/140737488355328) z) 3360836715704971/281474976710656) z) 2737158995491925/4503599627370496))

rewrite340.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

28.1b

Rules

18×	`add-sqr-sqrt_binary64_11353`
15×	`add-exp-log_binary64_11369` `add-cbrt-cube_binary64_11367`
12×	`add-cube-cbrt_binary64_11366` `*-un-lft-identity_binary64_11331`
10×	`pow1_binary64_11392`
9×	`associate-l_binary64_11272` `associate-r_binary64_11271`
5×	`flip3-+_binary64_11334` `flip-+_binary64_11305`
4×	`prod-exp_binary64_11380` `add-log-exp_binary64_11370` `cbrt-unprod_binary64_11364` `associate-r/_binary64_11273` `associate-l/_binary64_11274`
3×	`times-frac_binary64_11337` `associate-/r_binary64_11275` `pow-prod-down_binary64_11402` `unswap-sqr_binary64_11299` `-commutative_binary64_11262`
2×	`div-exp_binary64_11382` `cbrt-undiv_binary64_11365` `associate-/l/_binary64_11278` `associate-/r/_binary64_11277`
1×	`frac-2neg_binary64_11342` `clear-num_binary64_11330` `div-inv_binary64_11328` `associate-/l*_binary64_11276` `distribute-rgt-in_binary64_11281` `distribute-lft-in_binary64_11280`

Counts

4 → 87

Calls

4 calls:

31.0ms	(/.f64 (.f64 y (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t) z) a) z) b)) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 z 4288183283079449/281474976710656) z) 4428869650076171/140737488355328) z) 3360836715704971/281474976710656) z) 2737158995491925/4503599627370496))
21.0ms	(.f64 y (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t) z) a) z) b))
11.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t) z)
7.0ms	(.f64 (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z)

Compiler

Compiled 4600 to 3049 computations (33.7% saved)

series4.4s (23%)

Error

1.1b

Counts

4 → 87

Calls

4 calls:

2.8s	(/.f64 (.f64 y (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t) z) a) z) b)) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 z 4288183283079449/281474976710656) z) 4428869650076171/140737488355328) z) 3360836715704971/281474976710656) z) 2737158995491925/4503599627370496))
1.0s	(.f64 y (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t) z) a) z) b))
278.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t) z)
79.0ms	(.f64 (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z)

Compiler

Compiled 10701 to 8254 computations (22.9% saved)

simplify123.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

174 → 174

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4964	7020
1	4964	7020

prune748.0ms (3.9%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	167	7	174
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	168	7	175

Error

0.7b

Counts

175 → 7

Compiler

Compiled 8519 to 5483 computations (35.6% saved)

localize4.0ms (0%)

Local error

Found 1 expressions with local error:

0.0b	(+.f64 x (*.f64 7049496828096731/2251799813685248 y))

rewrite13.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Error

0.7b

Rules

3×	`add-log-exp_binary64_11370`
1×	`sum-log_binary64_11422` `pow1_binary64_11392` `add-exp-log_binary64_11369` `add-cbrt-cube_binary64_11367` `add-cube-cbrt_binary64_11366` `add-sqr-sqrt_binary64_11353` `flip3-+_binary64_11334` `*-un-lft-identity_binary64_11331` `flip-+_binary64_11305` `+-commutative_binary64_11261`

Counts

1 → 11

Calls

1 calls:

3.0ms

(+.f64 x (*.f64 7049496828096731/2251799813685248 y))

Compiler

Compiled 136 to 99 computations (27.2% saved)

series91.0ms (0.5%)

Error

0.7b

Counts

1 → 12

Calls

1 calls:

84.0ms

(+.f64 x (*.f64 7049496828096731/2251799813685248 y))

Compiler

Compiled 114 to 180 computations (-57.9% saved)

simplify124.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

23 → 23

Iterations

Useful iterations: 0 (114.0ms)

Iter	Nodes	Cost
0	4817	193
1	4817	193

prune30.0ms (0.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	23	0	23
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	23	7	30

Error

0.7b

Counts

30 → 7

Compiler

Compiled 443 to 334 computations (24.6% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (+.f64 z 4288183283079449/281474976710656) z)
0.0b	(.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 z 4288183283079449/281474976710656) z) 4428869650076171/140737488355328) z) 3360836715704971/281474976710656) z)
0.0b	(.f64 (+.f64 (.f64 (+.f64 z 4288183283079449/281474976710656) z) 4428869650076171/140737488355328) z)
5.0b	(/.f64 (.f64 b y) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 z 4288183283079449/281474976710656) z) 4428869650076171/140737488355328) z) 3360836715704971/281474976710656) z) 2737158995491925/4503599627370496))

rewrite206.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

0.7b

Rules

18×	`add-sqr-sqrt_binary64_11353`
15×	`add-exp-log_binary64_11369` `add-cbrt-cube_binary64_11367`
14×	`*-un-lft-identity_binary64_11331`
12×	`add-cube-cbrt_binary64_11366`
10×	`pow1_binary64_11392` `associate-l_binary64_11272`
9×	`associate-r_binary64_11271`
6×	`associate-*l/_binary64_11274`
4×	`prod-exp_binary64_11380` `add-log-exp_binary64_11370` `cbrt-unprod_binary64_11364` `flip3-+_binary64_11334` `flip-+_binary64_11305`
3×	`times-frac_binary64_11337` `associate-/r_binary64_11275` `pow-prod-down_binary64_11402` `unswap-sqr_binary64_11299` `-commutative_binary64_11262`
2×	`div-exp_binary64_11382` `cbrt-undiv_binary64_11365` `associate-/r/_binary64_11277`
1×	`frac-2neg_binary64_11342` `clear-num_binary64_11330` `div-inv_binary64_11328` `associate-/l*_binary64_11276` `distribute-lft-out_binary64_11282`

Counts

4 → 84

Calls

4 calls:

17.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 z 4288183283079449/281474976710656) z) 4428869650076171/140737488355328) z) 3360836715704971/281474976710656) z)
15.0ms	(/.f64 (.f64 b y) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 z 4288183283079449/281474976710656) z) 4428869650076171/140737488355328) z) 3360836715704971/281474976710656) z) 2737158995491925/4503599627370496))
11.0ms	(.f64 (+.f64 (.f64 (+.f64 z 4288183283079449/281474976710656) z) 4428869650076171/140737488355328) z)
7.0ms	(*.f64 (+.f64 z 4288183283079449/281474976710656) z)

Compiler

Compiled 2745 to 1823 computations (33.6% saved)

series834.0ms (4.3%)

Error

0.7b

Counts

4 → 27

Calls

4 calls:

691.0ms	(/.f64 (.f64 b y) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 z 4288183283079449/281474976710656) z) 4428869650076171/140737488355328) z) 3360836715704971/281474976710656) z) 2737158995491925/4503599627370496))
45.0ms	(.f64 (+.f64 (.f64 (+.f64 z 4288183283079449/281474976710656) z) 4428869650076171/140737488355328) z)
37.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 z 4288183283079449/281474976710656) z) 4428869650076171/140737488355328) z) 3360836715704971/281474976710656) z)
27.0ms	(*.f64 (+.f64 z 4288183283079449/281474976710656) z)

Compiler

Compiled 1436 to 1227 computations (14.6% saved)

simplify109.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	4936	2164
1	4936	2164

prune185.0ms (1%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	110	1	111
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	111	7	118

Error

0.7b

Counts

118 → 7

Compiler

Compiled 3180 to 2106 computations (33.8% saved)

localize9.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 x (.f64 (.f64 y b) (+.f64 4503599627370496/2737158995491925 (*.f64 z -242173807688031823959482334969856/7492039366602363902472740205625))))
0.0b	(+.f64 4503599627370496/2737158995491925 (*.f64 z -242173807688031823959482334969856/7492039366602363902472740205625))
0.1b	(*.f64 z -242173807688031823959482334969856/7492039366602363902472740205625)
2.5b	(.f64 (.f64 y b) (+.f64 4503599627370496/2737158995491925 (*.f64 z -242173807688031823959482334969856/7492039366602363902472740205625)))

rewrite88.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

0.7b

Rules

11×	`pow1_binary64_11392` `add-exp-log_binary64_11369` `add-cbrt-cube_binary64_11367`
9×	`add-sqr-sqrt_binary64_11353`
8×	`add-log-exp_binary64_11370`
7×	`add-cube-cbrt_binary64_11366` `*-un-lft-identity_binary64_11331`
6×	`associate-r_binary64_11271`
4×	`pow-prod-down_binary64_11402` `prod-exp_binary64_11380` `cbrt-unprod_binary64_11364` `associate-l_binary64_11272`
3×	`flip3-+_binary64_11334` `flip-+_binary64_11305`
2×	`distribute-rgt-in_binary64_11281` `distribute-lft-in_binary64_11280` `associate-r/_binary64_11273` `-commutative_binary64_11262` `sum-log_binary64_11422` `+-commutative_binary64_11261` `associate-+r+_binary64_11263`
1×	`unswap-sqr_binary64_11299`

Counts

4 → 64

Calls

4 calls:

7.0ms	(.f64 (.f64 y b) (+.f64 4503599627370496/2737158995491925 (*.f64 z -242173807688031823959482334969856/7492039366602363902472740205625)))
4.0ms	(*.f64 z -242173807688031823959482334969856/7492039366602363902472740205625)
4.0ms	(+.f64 x (.f64 (.f64 y b) (+.f64 4503599627370496/2737158995491925 (*.f64 z -242173807688031823959482334969856/7492039366602363902472740205625))))
3.0ms	(+.f64 4503599627370496/2737158995491925 (*.f64 z -242173807688031823959482334969856/7492039366602363902472740205625))

Compiler

Compiled 1200 to 759 computations (36.8% saved)

series823.0ms (4.3%)

Error

0.7b

Counts

4 → 45

Calls

4 calls:

488.0ms	(+.f64 x (.f64 (.f64 y b) (+.f64 4503599627370496/2737158995491925 (*.f64 z -242173807688031823959482334969856/7492039366602363902472740205625))))
240.0ms	(.f64 (.f64 y b) (+.f64 4503599627370496/2737158995491925 (*.f64 z -242173807688031823959482334969856/7492039366602363902472740205625)))
42.0ms	(+.f64 4503599627370496/2737158995491925 (*.f64 z -242173807688031823959482334969856/7492039366602363902472740205625))
23.0ms	(*.f64 z -242173807688031823959482334969856/7492039366602363902472740205625)

Compiler

Compiled 1355 to 1159 computations (14.5% saved)

simplify92.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4979	1345
1	4979	1345

prune101.0ms (0.5%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	107	2	109
Fresh	0	4	4
Picked	1	0	1
Done	0	2	2
Total	108	8	116

Error

0.7b

Counts

116 → 8

Compiler

Compiled 1479 to 930 computations (37.1% saved)

regimes2.8s (14.8%)

Accuracy

Total 1.4b remaining (69.2%)

Threshold costs 0b (0%)

Compiler

Compiled 24681 to 20708 computations (16.1% saved)

bsearch102.0ms (0.5%)

Steps

Iters	Range		Point
10	1.2567509201199635e+40	5.843505601092207e+52	4.3817874272741966e+52
8	-4.830958215652335e+37	-7.354396658536199e+33	-2.7987185141466273e+37

Compiler

Compiled 1 to 6 computations (-500% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	100	85
1	100	85

end0.0ms (0%)

sample3.4s (17.5%)

Algorithm

1×

intervals

Results

694.0ms	8000×	body	128	valid
77.0ms	944×	body	128	invalid

Compiler

Compiled 3189 to 2663 computations (16.5% saved)

Details

analyze3.8s (19.7%)

sample663.0ms (3.4%)

simplify92.0ms (0.5%)

prune5.0ms (0%)

localize24.0ms (0.1%)

rewrite340.0ms (1.8%)

series4.4s (23%)

simplify123.0ms (0.6%)

prune748.0ms (3.9%)

localize4.0ms (0%)

rewrite13.0ms (0.1%)

series91.0ms (0.5%)

simplify124.0ms (0.6%)

prune30.0ms (0.2%)

localize14.0ms (0.1%)

rewrite206.0ms (1.1%)

series834.0ms (4.3%)

simplify109.0ms (0.6%)

prune185.0ms (1%)

localize9.0ms (0%)

rewrite88.0ms (0.5%)

series823.0ms (4.3%)

simplify92.0ms (0.5%)

prune101.0ms (0.5%)

regimes2.8s (14.8%)

bsearch102.0ms (0.5%)

simplify4.0ms (0%)

end0.0ms (0%)

sample3.4s (17.5%)

Profiling