Details

analyze1.1s (2.1%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5644	164
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%	99.9%	0.1%	5
0%	99.9%	0.1%	6
0%	99.9%	0.1%	7
0%	74.9%	25.1%	8
0%	74.9%	25.1%	9
9.4%	65.5%	25.1%	10
9.4%	53%	37.6%	11
14%	48.4%	37.6%	12
16.4%	46%	37.6%	13
16.4%	39.8%	43.8%	14

Compiler

Compiled 28 to 21 computations (25% saved)

sample61.0ms (0.1%)

Algorithm

1×

intervals

Results

11.0ms	166×	body	128	valid
8.0ms	31×	body	1024	valid
7.0ms	27×	body	1024	nan
7.0ms	33×	body	512	valid
4.0ms	54×	body	128	nan
4.0ms	24×	body	256	valid
3.0ms	15×	body	512	nan
1.0ms	6×	body	256	nan
1.0ms	2×	body	2048	valid

Compiler

Compiled 55 to 44 computations (20% saved)

simplify74.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	5192	41

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

44.4b

Counts

2 → 1

Compiler

Compiled 54 to 40 computations (25.9% saved)

localize18.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (.f64 (sqrt.f64 2) t) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (.f64 l l) (.f64 2 (.f64 t t)))) (.f64 l l))))
0.4b	(*.f64 (sqrt.f64 2) t)
12.1b	(-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (.f64 l l) (.f64 2 (.f64 t t)))) (*.f64 l l))
22.0b	(sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (.f64 l l) (.f64 2 (.f64 t t)))) (*.f64 l l)))

rewrite340.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

44.3b

Rules

17×	`add-sqr-sqrt_binary64_100`
13×	`sqrt-prod_binary64_94`
12×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
11×	`add-exp-log_binary64_116` `add-cbrt-cube_binary64_114`
7×	`pow1_binary64_139`
6×	`add-log-exp_binary64_117` `associate-l_binary64_19` `times-frac_binary64_84` `associate-/r*_binary64_22`
4×	`sqrt-div_binary64_95`
3×	`flip3--_binary64_82` `flip--_binary64_53` `associate-r_binary64_18`
2×	`associate--l+_binary64_15` `prod-exp_binary64_127` `cbrt-unprod_binary64_111` `unswap-sqr_binary64_46` `div-exp_binary64_129` `cbrt-undiv_binary64_112` `associate-/r/_binary64_24`
1×	`pow1/2_binary64_158` `sqrt-pow1_binary64_96` `rem-sqrt-square_binary64_91` `diff-log_binary64_170` `sub-neg_binary64_71` `cancel-sign-sub-inv_binary64_44` `distribute-rgt-in_binary64_28` `distribute-lft-in_binary64_27` `pow-prod-down_binary64_149` `-commutative_binary64_9` `frac-2neg_binary64_89` `clear-num_binary64_77` `div-inv_binary64_75` `associate-/l_binary64_23`

Counts

4 → 80

Calls

4 calls:

19.0ms	(/.f64 (.f64 (sqrt.f64 2) t) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (.f64 l l) (.f64 2 (.f64 t t)))) (.f64 l l))))
15.0ms	(-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (.f64 l l) (.f64 2 (.f64 t t)))) (*.f64 l l))
15.0ms	(sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (.f64 l l) (.f64 2 (.f64 t t)))) (*.f64 l l)))
5.0ms	(*.f64 (sqrt.f64 2) t)

Compiler

Compiled 3282 to 1868 computations (43.1% saved)

series6.5s (12.5%)

Error

6.4b

Counts

4 → 60

Calls

4 calls:

3.1s	(/.f64 (.f64 (sqrt.f64 2) t) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (.f64 l l) (.f64 2 (.f64 t t)))) (.f64 l l))))
2.1s	(sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (.f64 l l) (.f64 2 (.f64 t t)))) (*.f64 l l)))
1.2s	(-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (.f64 l l) (.f64 2 (.f64 t t)))) (*.f64 l l))
48.0ms	(*.f64 (sqrt.f64 2) t)

Compiler

Compiled 10256 to 8563 computations (16.5% saved)

simplify89.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

140 → 140

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	4975	6559
1	4975	6559

prune267.0ms (0.5%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	133	7	140
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	134	7	141

Error

6.4b

Counts

141 → 7

Compiler

Compiled 4630 to 2886 computations (37.7% saved)

localize34.0ms (0.1%)

Local error

Found 4 expressions with local error:

12.7b	(/.f64 (*.f64 l l) (pow.f64 x 3))
20.9b	(/.f64 (*.f64 t t) (pow.f64 x 3))
20.9b	(/.f64 (.f64 t t) (.f64 x x))
30.7b	(sqrt.f64 (+.f64 (.f64 2 (/.f64 (.f64 l l) x)) (+.f64 (.f64 4 (/.f64 (.f64 t t) x)) (+.f64 (.f64 2 (/.f64 (.f64 l l) (pow.f64 x 3))) (+.f64 (.f64 2 (+.f64 (.f64 t t) (/.f64 (.f64 l l) (.f64 x x)))) (.f64 4 (+.f64 (/.f64 (.f64 t t) (pow.f64 x 3)) (/.f64 (.f64 t t) (.f64 x x)))))))))

rewrite664.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

6.4b

Rules

42×	`add-exp-log_binary64_116` `associate-*r/_binary64_20`
38×	`frac-add_binary64_86`
26×	`add-cbrt-cube_binary64_114`
25×	`times-frac_binary64_84` `associate-/r*_binary64_22`
18×	`add-sqr-sqrt_binary64_100`
17×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
16×	`div-exp_binary64_129`
14×	`sqrt-div_binary64_95`
12×	`unpow-prod-down_binary64_157` `cube-prod_binary64_106`
10×	`prod-exp_binary64_127`
9×	`flip3-+_binary64_81` `flip-+_binary64_52`
8×	`cbrt-undiv_binary64_112`
6×	`cbrt-unprod_binary64_111`
5×	`pow1_binary64_139`
4×	`add-log-exp_binary64_117` `pow-to-exp_binary64_147` `pow-exp_binary64_146` `unpow3_binary64_144` `cube-mult_binary64_108` `sqr-pow_binary64_50`
3×	`sqrt-prod_binary64_94` `frac-2neg_binary64_89` `clear-num_binary64_77` `div-inv_binary64_75` `associate-/l*_binary64_23`
1×	`pow1/2_binary64_158` `sqrt-pow1_binary64_96` `rem-sqrt-square_binary64_91`

Counts

4 → 134

Calls

4 calls:

32.0ms	(sqrt.f64 (+.f64 (.f64 2 (/.f64 (.f64 l l) x)) (+.f64 (.f64 4 (/.f64 (.f64 t t) x)) (+.f64 (.f64 2 (/.f64 (.f64 l l) (pow.f64 x 3))) (+.f64 (.f64 2 (+.f64 (.f64 t t) (/.f64 (.f64 l l) (.f64 x x)))) (.f64 4 (+.f64 (/.f64 (.f64 t t) (pow.f64 x 3)) (/.f64 (.f64 t t) (.f64 x x)))))))))
7.0ms	(/.f64 (.f64 t t) (.f64 x x))
7.0ms	(/.f64 (*.f64 t t) (pow.f64 x 3))
6.0ms	(/.f64 (*.f64 l l) (pow.f64 x 3))

Compiler

Compiled 11916 to 4675 computations (60.8% saved)

series4.4s (8.3%)

Error

0.6b

Counts

4 → 41

Calls

4 calls:

3.7s	(sqrt.f64 (+.f64 (.f64 2 (/.f64 (.f64 l l) x)) (+.f64 (.f64 4 (/.f64 (.f64 t t) x)) (+.f64 (.f64 2 (/.f64 (.f64 l l) (pow.f64 x 3))) (+.f64 (.f64 2 (+.f64 (.f64 t t) (/.f64 (.f64 l l) (.f64 x x)))) (.f64 4 (+.f64 (/.f64 (.f64 t t) (pow.f64 x 3)) (/.f64 (.f64 t t) (.f64 x x)))))))))
173.0ms	(/.f64 (*.f64 t t) (pow.f64 x 3))
161.0ms	(/.f64 (*.f64 l l) (pow.f64 x 3))
134.0ms	(/.f64 (.f64 t t) (.f64 x x))

Compiler

Compiled 13916 to 11220 computations (19.4% saved)

simplify112.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

175 → 175

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	5663	11046

prune644.0ms (1.2%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	169	6	175
Fresh	1	5	6
Picked	0	1	1
Done	0	0	0
Total	170	12	182

Error

0.6b

Counts

182 → 12

Compiler

Compiled 11583 to 5503 computations (52.5% saved)

localize47.0ms (0.1%)

Local error

Found 4 expressions with local error:

20.9b	(/.f64 (.f64 t t) (.f64 x x))
20.9b	(/.f64 (.f64 t t) (.f64 x x))
30.7b	(sqrt.f64 (+.f64 (.f64 2 (/.f64 (.f64 l l) x)) (+.f64 (.f64 4 (/.f64 (.f64 t t) x)) (+.f64 (.f64 2 (+.f64 (/.f64 (.f64 l l) (pow.f64 x 3)) (+.f64 (.f64 t t) (/.f64 (.f64 l l) (.f64 x x))))) (.f64 4 (+.f64 (/.f64 (.f64 t t) (pow.f64 x 3)) (/.f64 (.f64 t t) (*.f64 x x))))))))
30.7b	(sqrt.f64 (+.f64 (.f64 2 (/.f64 (.f64 l l) x)) (+.f64 (.f64 4 (/.f64 (.f64 t t) x)) (+.f64 (.f64 2 (+.f64 (/.f64 (.f64 l l) (pow.f64 x 3)) (+.f64 (.f64 t t) (/.f64 (.f64 l l) (.f64 x x))))) (.f64 4 (+.f64 (/.f64 (.f64 t t) (pow.f64 x 3)) (/.f64 (.f64 t t) (*.f64 x x))))))))

rewrite1.2s (2.3%)

Algorithm

1×	rewrite-expression-head

Error

0.6b

Rules

108×	`associate-*r/_binary64_20`
104×	`frac-add_binary64_86`
36×	`sqrt-div_binary64_95`
28×	`add-exp-log_binary64_116` `add-cbrt-cube_binary64_114`
26×	`flip3-+_binary64_81` `flip-+_binary64_52`
8×	`add-sqr-sqrt_binary64_100` `prod-exp_binary64_127` `div-exp_binary64_129` `cbrt-undiv_binary64_112` `cbrt-unprod_binary64_111`
6×	`pow1_binary64_139` `add-cube-cbrt_binary64_113` `sqrt-prod_binary64_94` `*-un-lft-identity_binary64_78`
4×	`add-log-exp_binary64_117`
2×	`pow1/2_binary64_158` `sqrt-pow1_binary64_96` `rem-sqrt-square_binary64_91` `frac-2neg_binary64_89` `times-frac_binary64_84` `clear-num_binary64_77` `div-inv_binary64_75` `associate-/l_binary64_23` `associate-/r_binary64_22`

Counts

4 → 104

Calls

4 calls:

37.0ms	(sqrt.f64 (+.f64 (.f64 2 (/.f64 (.f64 l l) x)) (+.f64 (.f64 4 (/.f64 (.f64 t t) x)) (+.f64 (.f64 2 (+.f64 (/.f64 (.f64 l l) (pow.f64 x 3)) (+.f64 (.f64 t t) (/.f64 (.f64 l l) (.f64 x x))))) (.f64 4 (+.f64 (/.f64 (.f64 t t) (pow.f64 x 3)) (/.f64 (.f64 t t) (*.f64 x x))))))))
34.0ms	(sqrt.f64 (+.f64 (.f64 2 (/.f64 (.f64 l l) x)) (+.f64 (.f64 4 (/.f64 (.f64 t t) x)) (+.f64 (.f64 2 (+.f64 (/.f64 (.f64 l l) (pow.f64 x 3)) (+.f64 (.f64 t t) (/.f64 (.f64 l l) (.f64 x x))))) (.f64 4 (+.f64 (/.f64 (.f64 t t) (pow.f64 x 3)) (/.f64 (.f64 t t) (*.f64 x x))))))))
7.0ms	(/.f64 (.f64 t t) (.f64 x x))
7.0ms	(/.f64 (.f64 t t) (.f64 x x))

Compiler

Compiled 22330 to 7830 computations (64.9% saved)

series8.5s (16.1%)

Error

0.6b

Counts

4 → 58

Calls

4 calls:

3.8s	(sqrt.f64 (+.f64 (.f64 2 (/.f64 (.f64 l l) x)) (+.f64 (.f64 4 (/.f64 (.f64 t t) x)) (+.f64 (.f64 2 (+.f64 (/.f64 (.f64 l l) (pow.f64 x 3)) (+.f64 (.f64 t t) (/.f64 (.f64 l l) (.f64 x x))))) (.f64 4 (+.f64 (/.f64 (.f64 t t) (pow.f64 x 3)) (/.f64 (.f64 t t) (*.f64 x x))))))))
3.7s	(sqrt.f64 (+.f64 (.f64 2 (/.f64 (.f64 l l) x)) (+.f64 (.f64 4 (/.f64 (.f64 t t) x)) (+.f64 (.f64 2 (+.f64 (/.f64 (.f64 l l) (pow.f64 x 3)) (+.f64 (.f64 t t) (/.f64 (.f64 l l) (.f64 x x))))) (.f64 4 (+.f64 (/.f64 (.f64 t t) (pow.f64 x 3)) (/.f64 (.f64 t t) (*.f64 x x))))))))
166.0ms	(/.f64 (.f64 t t) (.f64 x x))
164.0ms	(/.f64 (.f64 t t) (.f64 x x))

Compiler

Compiled 32056 to 23871 computations (25.5% saved)

simplify185.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

162 → 162

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	5623	22702

prune1.5s (2.8%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	159	3	162
Fresh	2	8	10
Picked	1	0	1
Done	0	1	1
Total	162	12	174

Error

0.6b

Counts

174 → 12

Compiler

Compiled 24638 to 11132 computations (54.8% saved)

localize59.0ms (0.1%)

Local error

Found 4 expressions with local error:

20.9b	(/.f64 (.f64 t t) (.f64 x x))
30.7b	(sqrt.f64 (+.f64 (.f64 2 (/.f64 (.f64 l l) x)) (+.f64 (.f64 4 (/.f64 (.f64 t t) x)) (+.f64 (.f64 2 (+.f64 (/.f64 (.f64 l l) (pow.f64 x 3)) (+.f64 (.f64 t t) (/.f64 (.f64 l l) (.f64 x x))))) (.f64 4 (+.f64 (/.f64 (.f64 t t) (pow.f64 x 3)) (/.f64 (.f64 t t) (*.f64 x x))))))))
31.6b	(cbrt.f64 (+.f64 (.f64 2 (/.f64 (.f64 l l) x)) (+.f64 (.f64 4 (/.f64 (.f64 t t) x)) (+.f64 (.f64 2 (+.f64 (/.f64 (.f64 l l) (pow.f64 x 3)) (+.f64 (.f64 t t) (/.f64 (.f64 l l) (.f64 x x))))) (.f64 4 (+.f64 (/.f64 (.f64 t t) (pow.f64 x 3)) (/.f64 (.f64 t t) (*.f64 x x))))))))
31.6b	(cbrt.f64 (+.f64 (.f64 2 (/.f64 (.f64 l l) x)) (+.f64 (.f64 4 (/.f64 (.f64 t t) x)) (+.f64 (.f64 2 (+.f64 (/.f64 (.f64 l l) (pow.f64 x 3)) (+.f64 (.f64 t t) (/.f64 (.f64 l l) (.f64 x x))))) (.f64 4 (+.f64 (/.f64 (.f64 t t) (pow.f64 x 3)) (/.f64 (.f64 t t) (*.f64 x x))))))))

rewrite1.9s (3.7%)

Algorithm

1×	rewrite-expression-head

Error

0.6b

Rules

162×	`associate-*r/_binary64_20`
156×	`frac-add_binary64_86`
39×	`flip3-+_binary64_81` `flip-+_binary64_52`
36×	`cbrt-div_binary64_110`
18×	`sqrt-div_binary64_95`
16×	`add-exp-log_binary64_116` `add-cbrt-cube_binary64_114`
8×	`add-sqr-sqrt_binary64_100`
7×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
6×	`cbrt-prod_binary64_109`
5×	`pow1_binary64_139`
4×	`add-log-exp_binary64_117` `prod-exp_binary64_127` `div-exp_binary64_129` `cbrt-undiv_binary64_112` `cbrt-unprod_binary64_111`
3×	`sqrt-prod_binary64_94`
2×	`pow1/3_binary64_160`
1×	`pow1/2_binary64_158` `sqrt-pow1_binary64_96` `rem-sqrt-square_binary64_91` `frac-2neg_binary64_89` `times-frac_binary64_84` `clear-num_binary64_77` `div-inv_binary64_75` `associate-/l_binary64_23` `associate-/r_binary64_22`

Counts

4 → 110

Calls

4 calls:

37.0ms	(cbrt.f64 (+.f64 (.f64 2 (/.f64 (.f64 l l) x)) (+.f64 (.f64 4 (/.f64 (.f64 t t) x)) (+.f64 (.f64 2 (+.f64 (/.f64 (.f64 l l) (pow.f64 x 3)) (+.f64 (.f64 t t) (/.f64 (.f64 l l) (.f64 x x))))) (.f64 4 (+.f64 (/.f64 (.f64 t t) (pow.f64 x 3)) (/.f64 (.f64 t t) (*.f64 x x))))))))
33.0ms	(cbrt.f64 (+.f64 (.f64 2 (/.f64 (.f64 l l) x)) (+.f64 (.f64 4 (/.f64 (.f64 t t) x)) (+.f64 (.f64 2 (+.f64 (/.f64 (.f64 l l) (pow.f64 x 3)) (+.f64 (.f64 t t) (/.f64 (.f64 l l) (.f64 x x))))) (.f64 4 (+.f64 (/.f64 (.f64 t t) (pow.f64 x 3)) (/.f64 (.f64 t t) (*.f64 x x))))))))
33.0ms	(sqrt.f64 (+.f64 (.f64 2 (/.f64 (.f64 l l) x)) (+.f64 (.f64 4 (/.f64 (.f64 t t) x)) (+.f64 (.f64 2 (+.f64 (/.f64 (.f64 l l) (pow.f64 x 3)) (+.f64 (.f64 t t) (/.f64 (.f64 l l) (.f64 x x))))) (.f64 4 (+.f64 (/.f64 (.f64 t t) (pow.f64 x 3)) (/.f64 (.f64 t t) (*.f64 x x))))))))
7.0ms	(/.f64 (.f64 t t) (.f64 x x))

Compiler

Compiled 34468 to 12168 computations (64.7% saved)

series9.6s (18.3%)

Error

0.6b

Counts

4 → 57

Calls

4 calls:

3.8s	(sqrt.f64 (+.f64 (.f64 2 (/.f64 (.f64 l l) x)) (+.f64 (.f64 4 (/.f64 (.f64 t t) x)) (+.f64 (.f64 2 (+.f64 (/.f64 (.f64 l l) (pow.f64 x 3)) (+.f64 (.f64 t t) (/.f64 (.f64 l l) (.f64 x x))))) (.f64 4 (+.f64 (/.f64 (.f64 t t) (pow.f64 x 3)) (/.f64 (.f64 t t) (*.f64 x x))))))))
2.5s	(cbrt.f64 (+.f64 (.f64 2 (/.f64 (.f64 l l) x)) (+.f64 (.f64 4 (/.f64 (.f64 t t) x)) (+.f64 (.f64 2 (+.f64 (/.f64 (.f64 l l) (pow.f64 x 3)) (+.f64 (.f64 t t) (/.f64 (.f64 l l) (.f64 x x))))) (.f64 4 (+.f64 (/.f64 (.f64 t t) (pow.f64 x 3)) (/.f64 (.f64 t t) (*.f64 x x))))))))
2.5s	(cbrt.f64 (+.f64 (.f64 2 (/.f64 (.f64 l l) x)) (+.f64 (.f64 4 (/.f64 (.f64 t t) x)) (+.f64 (.f64 2 (+.f64 (/.f64 (.f64 l l) (pow.f64 x 3)) (+.f64 (.f64 t t) (/.f64 (.f64 l l) (.f64 x x))))) (.f64 4 (+.f64 (/.f64 (.f64 t t) (pow.f64 x 3)) (/.f64 (.f64 t t) (*.f64 x x))))))))
189.0ms	(/.f64 (.f64 t t) (.f64 x x))

Compiler

Compiled 35830 to 23615 computations (34.1% saved)

simplify224.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

167 → 167

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	6074	28517

prune2.2s (4.2%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	167	0	167
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	167	12	179

Error

0.6b

Counts

179 → 12

Compiler

Compiled 37098 to 15591 computations (58% saved)

regimes9.6s (18.3%)

Accuracy

Total 11.1b remaining (96.3%)

Threshold costs 0b (0%)

Compiler

Compiled 125577 to 69409 computations (44.7% saved)

bsearch670.0ms (1.3%)

Steps

Iters	Range		Point
10	4.844378904519909e+84	6.130272752248904e+98	5.111159643392521e+84
10	1.5001670347820598e-123	1.8342026522447433e-108	1.524603857316903e-123
9	-4.501726182872543e-305	1.6838830036378186e-303	-4.4369086440200507e-305
10	-3.502494826703562e-156	-1.4243156890262408e-172	-1.458683861294613e-172
9	-1.394089424000212e+32	-2.4072688641249757e+23	-2.984298100935431e+31

Compiler

Compiled 1 to 3 computations (-200% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	124	326
1	124	326

end10.0ms (0%)

Compiler: Compiled 214 to 170 computations (20.6% saved)

sample2.5s (4.7%)

Algorithm

1×

intervals

Results

371.0ms	5316×	body	128	valid
320.0ms	1143×	body	1024	valid
217.0ms	817×	body	1024	nan
193.0ms	937×	body	512	valid
104.0ms	1527×	body	128	nan
99.0ms	501×	body	512	nan
78.0ms	544×	body	256	valid
39.0ms	269×	body	256	nan
23.0ms	60×	body	2048	valid

Compiler

Compiled 1012 to 667 computations (34.1% saved)

Details

analyze1.1s (2.1%)

sample61.0ms (0.1%)

simplify74.0ms (0.1%)

prune4.0ms (0%)

localize18.0ms (0%)

rewrite340.0ms (0.6%)

series6.5s (12.5%)

simplify89.0ms (0.2%)

prune267.0ms (0.5%)

localize34.0ms (0.1%)

rewrite664.0ms (1.3%)

series4.4s (8.3%)

simplify112.0ms (0.2%)

prune644.0ms (1.2%)

localize47.0ms (0.1%)

rewrite1.2s (2.3%)

series8.5s (16.1%)

simplify185.0ms (0.4%)

prune1.5s (2.8%)

localize59.0ms (0.1%)

rewrite1.9s (3.7%)

series9.6s (18.3%)

simplify224.0ms (0.4%)

prune2.2s (4.2%)

regimes9.6s (18.3%)

bsearch670.0ms (1.3%)

simplify5.0ms (0%)

end10.0ms (0%)

sample2.5s (4.7%)

Profiling