Details

analyze532.0ms (15.8%)

Algorithm

1×

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%	99.9%	0.1%	5
0%	99.9%	0.1%	6
18.7%	81.1%	0.1%	7
21.8%	78%	0.1%	8
21.8%	78%	0.1%	9
49.1%	50.7%	0.1%	10
52.7%	47.2%	0.1%	11
52.7%	47.2%	0.1%	12
71.7%	28.2%	0.1%	13
74.1%	25.8%	0.1%	14

Compiler

Compiled 22 to 19 computations (13.6% saved)

sample25.0ms (0.7%)

Algorithm

1×

intervals

Results

16.0ms

256×

body

128

valid

Compiler

Compiled 43 to 40 computations (7% saved)

simplify111.0ms (3.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (13.0ms)

Iter	Nodes	Cost
0	453	31
1	453	31

prune3.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: 25.2b

Counts

2 → 1

Compiler

Compiled 42 to 36 computations (14.3% saved)

localize13.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (+.f64 z 1692356830115869/281474976710656) z)
0.1b	(.f64 (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992) z)
5.0b	(.f64 y (+.f64 (.f64 (+.f64 (*.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992) z) 5029535718965825/18014398509481984))
24.3b	(/.f64 (.f64 y (+.f64 (.f64 (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992) z) 5029535718965825/18014398509481984)) (+.f64 (.f64 (+.f64 z 1692356830115869/281474976710656) z) 7544303578448747/2251799813685248))

rewrite54.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-sqr-sqrt_binary64_13740`
15×	`add-cbrt-cube_binary64_13754` `add-exp-log_binary64_13756`
14×	`*-un-lft-identity_binary64_13718`
12×	`add-cube-cbrt_binary64_13753`
10×	`pow1_binary64_13779` `associate-l_binary64_13659`
9×	`associate-r_binary64_13658`
5×	`flip3-+_binary64_13721` `flip-+_binary64_13692`
4×	`associate-r/_binary64_13660` `add-log-exp_binary64_13757` `associate-l/_binary64_13661` `prod-exp_binary64_13767` `cbrt-unprod_binary64_13751`
3×	`associate-/r_binary64_13662` `-commutative_binary64_13649` `times-frac_binary64_13724` `unswap-sqr_binary64_13686` `pow-prod-down_binary64_13789`
2×	`associate-/r/_binary64_13664` `div-exp_binary64_13769` `cbrt-undiv_binary64_13752` `associate-/l/_binary64_13665`
1×	`frac-2neg_binary64_13729` `distribute-lft-out_binary64_13669` `distribute-lft-in_binary64_13667` `distribute-rgt-in_binary64_13668` `associate-/l*_binary64_13663` `clear-num_binary64_13717` `div-inv_binary64_13715`

Counts

4 → 88

Calls

4 calls:

22.0ms	(/.f64 (.f64 y (+.f64 (.f64 (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992) z) 5029535718965825/18014398509481984)) (+.f64 (.f64 (+.f64 z 1692356830115869/281474976710656) z) 7544303578448747/2251799813685248))
11.0ms	(.f64 y (+.f64 (.f64 (+.f64 (*.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992) z) 5029535718965825/18014398509481984))
7.0ms	(.f64 (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992) z)
7.0ms	(*.f64 (+.f64 z 1692356830115869/281474976710656) z)

series326.0ms (9.7%)

Counts

4 → 27

Calls

4 calls:

159.0ms	(/.f64 (.f64 y (+.f64 (.f64 (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992) z) 5029535718965825/18014398509481984)) (+.f64 (.f64 (+.f64 z 1692356830115869/281474976710656) z) 7544303578448747/2251799813685248))
125.0ms	(.f64 y (+.f64 (.f64 (+.f64 (*.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992) z) 5029535718965825/18014398509481984))
23.0ms	(.f64 (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992) z)
19.0ms	(*.f64 (+.f64 z 1692356830115869/281474976710656) z)

Compiler

Compiled 926 to 810 computations (12.5% saved)

simplify92.0ms (2.7%)

Algorithm

1×	egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4982	2027
1	4982	2027

prune166.0ms (4.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	111	4	115
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	111	5	116

Merged error: 0.0b

Counts

116 → 5

Compiler

Compiled 3019 to 2201 computations (27.1% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b	(+.f64 x (*.f64 y 4992947066835229/72057594037927936))

rewrite4.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`add-log-exp_binary64_13757`
1×	`pow1_binary64_13779` `flip3-+_binary64_13721` `add-cbrt-cube_binary64_13754` `sum-log_binary64_13809` `+-commutative_binary64_13648` `add-exp-log_binary64_13756` `flip-+_binary64_13692` `add-sqr-sqrt_binary64_13740` `*-un-lft-identity_binary64_13718` `add-cube-cbrt_binary64_13753`

Counts

1 → 11

Calls

1 calls:

3.0ms

(+.f64 x (*.f64 y 4992947066835229/72057594037927936))

series58.0ms (1.7%)

Counts

1 → 12

Calls

1 calls:

58.0ms

(+.f64 x (*.f64 y 4992947066835229/72057594037927936))

Compiler

Compiled 92 to 116 computations (-26.1% saved)

simplify116.0ms (3.4%)

Algorithm

1×	egg-herbie

Counts

23 → 23

Iterations

Useful iterations: 0 (108.0ms)

Iter	Nodes	Cost
0	4818	205
1	4818	205

prune22.0ms (0.6%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	22	1	23
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	22	6	28

Merged error: 0b

Counts

28 → 6

Compiler

Compiled 242 to 181 computations (25.2% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.2b	(*.f64 y 5029535718965825/60354428627589976)

rewrite5.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-sqr-sqrt_binary64_13740`
3×	`pow1_binary64_13779` `add-cbrt-cube_binary64_13754` `associate-l_binary64_13659` `associate-r_binary64_13658` `add-exp-log_binary64_13756` `*-un-lft-identity_binary64_13718` `add-cube-cbrt_binary64_13753`
1×	`*-commutative_binary64_13649` `add-log-exp_binary64_13757` `prod-exp_binary64_13767` `unswap-sqr_binary64_13686` `pow-prod-down_binary64_13789` `cbrt-unprod_binary64_13751`

Counts

1 → 18

Calls

1 calls:

4.0ms

(*.f64 y 5029535718965825/60354428627589976)

series17.0ms (0.5%)

Counts

1 → 3

Calls

1 calls:

17.0ms

(*.f64 y 5029535718965825/60354428627589976)

Compiler

Compiled 30 to 36 computations (-20% saved)

simplify54.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

21 → 21

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4749	130
1	4749	130

prune19.0ms (0.6%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	20	1	21
Fresh	1	2	3
Picked	0	1	1
Done	0	2	2
Total	21	6	27

Merged error: 0b

Counts

27 → 6

Compiler

Compiled 228 to 172 computations (24.6% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.2b

(*.f64 y (*.f64 (cbrt.f64 5029535718965825/60354428627589976) (cbrt.f64 5029535718965825/60354428627589976)))

0.3b

(*.f64 (*.f64 y (*.f64 (cbrt.f64 5029535718965825/60354428627589976) (cbrt.f64 5029535718965825/60354428627589976))) (cbrt.f64 5029535718965825/60354428627589976))

rewrite24.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`pow1_binary64_13779` `add-exp-log_binary64_13756`
9×	`add-cbrt-cube_binary64_13754` `prod-exp_binary64_13767` `pow-prod-down_binary64_13789` `cbrt-unprod_binary64_13751`
7×	`associate-r_binary64_13658`
6×	`add-sqr-sqrt_binary64_13740`
5×	`*-un-lft-identity_binary64_13718` `add-cube-cbrt_binary64_13753`
4×	`associate-l_binary64_13659`
3×	`cbrt-prod_binary64_13749`
2×	`*-commutative_binary64_13649` `add-log-exp_binary64_13757`
1×	`unswap-sqr_binary64_13686`

Counts

2 → 43

Calls

2 calls:

13.0ms

(*.f64 (*.f64 y (*.f64 (cbrt.f64 5029535718965825/60354428627589976) (cbrt.f64 5029535718965825/60354428627589976))) (cbrt.f64 5029535718965825/60354428627589976))

7.0ms

(*.f64 y (*.f64 (cbrt.f64 5029535718965825/60354428627589976) (cbrt.f64 5029535718965825/60354428627589976)))

series120.0ms (3.6%)

Counts

2 → 6

Calls

2 calls:

69.0ms

(*.f64 (*.f64 y (*.f64 (cbrt.f64 5029535718965825/60354428627589976) (cbrt.f64 5029535718965825/60354428627589976))) (cbrt.f64 5029535718965825/60354428627589976))

50.0ms

(*.f64 y (*.f64 (cbrt.f64 5029535718965825/60354428627589976) (cbrt.f64 5029535718965825/60354428627589976)))

Compiler

Compiled 122 to 134 computations (-9.8% saved)

simplify77.0ms (2.3%)

Algorithm

1×	egg-herbie

Counts

49 → 49

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4893	427
1	4893	427

prune40.0ms (1.2%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	49	0	49
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	49	6	55

Merged error: 0b

Counts

55 → 6

Compiler

Compiled 573 to 463 computations (19.2% saved)

regimes333.0ms (9.9%)

Compiler: Compiled 2176 to 1948 computations (10.5% saved)

bsearch48.0ms (1.4%)

Steps

Iters	Range		Point
9	15.241216612735828	481337520.3781458	474813288.39186764
9	-7.04091846305121e+53	-3.427797661121053e+47	-6.648787986303676e+53

Compiler

Compiled 1 to 3 computations (-200% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	42	52
1	42	52

end0.0ms (0%)

sample1.1s (32.3%)

Algorithm

1×

intervals

Results

439.0ms

8000×

body

128

valid

Compiler

Compiled 528 to 458 computations (13.3% saved)

Details

analyze532.0ms (15.8%)

sample25.0ms (0.7%)

simplify111.0ms (3.3%)

prune3.0ms (0.1%)

localize13.0ms (0.4%)

rewrite54.0ms (1.6%)

series326.0ms (9.7%)

simplify92.0ms (2.7%)

prune166.0ms (4.9%)

localize3.0ms (0.1%)

rewrite4.0ms (0.1%)

series58.0ms (1.7%)

simplify116.0ms (3.4%)

prune22.0ms (0.6%)

localize4.0ms (0.1%)

rewrite5.0ms (0.1%)

series17.0ms (0.5%)

simplify54.0ms (1.6%)

prune19.0ms (0.6%)

localize7.0ms (0.2%)

rewrite24.0ms (0.7%)

series120.0ms (3.6%)

simplify77.0ms (2.3%)

prune40.0ms (1.2%)

regimes333.0ms (9.9%)

bsearch48.0ms (1.4%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.1s (32.3%)

Profiling