Details

analyze1.4s (0.5%)

Algorithm

1×

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
18.7%	76.4%	4.9%	9
18.7%	76.4%	4.9%	10
21.8%	72.5%	5.7%	11
21.8%	69.8%	8.4%	12
32.7%	46.6%	20.7%	13
32.7%	46.6%	20.7%	14

Compiler

Compiled 20 to 20 computations (0% saved)

sample58.0ms (0%)

Algorithm

1×

intervals

Results

24.0ms	256×	body	128	valid
13.0ms	157×	body	128	nan

Compiler

Compiled 42 to 50 computations (-19% saved)

simplify148.0ms (0%)

Algorithm

1×	egg-herbie

Counts

3 → 3

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4895	31
1	4895	31

prune3.0ms (0%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Kept	Total
New	3	3
Fresh	3	3
Picked	0	0
Done	0	0
Total	6	6

Error

7.7b

Counts

6 → 3

Compiler

Compiled 21 to 21 computations (0% saved)

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(pow.f64 (/.f64 t l) 2)
0.2b	(pow.f64 (/.f64 Om Omc) 2)
0.1b	(/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2))))
0.0b	(-.f64 1 (pow.f64 (/.f64 Om Omc) 2))
0.2b	(pow.f64 (/.f64 Om Omc) 2)
0.3b	(pow.f64 (/.f64 t l) 2)
0.5b	(asin.f64 (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2))))))
7.1b	(sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2)))))

rewrite44.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

80×	`add-sqr-sqrt_binary64_100`
67×	`times-frac_binary64_84`
59×	`*-un-lft-identity_binary64_78`
48×	`sqrt-prod_binary64_94`
38×	`unpow-prod-down_binary64_157` `add-cube-cbrt_binary64_113`
30×	`difference-of-squares_binary64_47`
10×	`add-exp-log_binary64_116`
8×	`unpow2_binary64_143` `sqr-pow_binary64_50`
7×	`pow1_binary64_139`
6×	`pow-unpow_binary64_155`
4×	`add-cbrt-cube_binary64_114` `pow-exp_binary64_146` `add-log-exp_binary64_117`
3×	`distribute-lft-out--_binary64_30` `div-inv_binary64_75`
2×	`pow-to-exp_binary64_147` `div-exp_binary64_129` `rem-sqrt-square_binary64_91` `pow-pow_binary64_150` `associate-/r/_binary64_24`
1×	`sqrt-pow1_binary64_96` `flip-+_binary64_52` `sqrt-div_binary64_95` `asin-acos_binary64_258` `pow1/2_binary64_158` `flip3-+_binary64_81`

Counts

4 → 126

Calls

8 calls:

18.0ms	(sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2)))))
5.0ms	(pow.f64 (/.f64 Om Omc) 2)
5.0ms	(pow.f64 (/.f64 t l) 2)
1.0ms	(asin.f64 (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2))))))
0.0ms	(-.f64 1 (pow.f64 (/.f64 Om Omc) 2))

series1.6s (0.5%)

Counts

4 → 54

Calls

4 calls:

1.3s	(sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2)))))
116.0ms	(asin.f64 (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2))))))
72.0ms	(pow.f64 (/.f64 Om Omc) 2)
69.0ms	(pow.f64 (/.f64 t l) 2)

Compiler

Compiled 4824 to 4350 computations (9.8% saved)

simplify111.0ms (0%)

Algorithm

1×	egg-herbie

Counts

180 → 180

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5459	8499

prune1.1s (0.4%)

Pruning

77 alts after pruning (76 fresh and 1 done)

	Pruned	Kept	Total
New	106	74	180
Fresh	0	2	2
Picked	0	0	0
Done	0	1	1
Total	106	77	183

Error

0.7b

Counts

183 → 77

Compiler

Compiled 7598 to 5873 computations (22.7% saved)

localize23.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(pow.f64 (/.f64 Om Omc) 2)
0.1b	(.f64 (.f64 (cbrt.f64 (pow.f64 (/.f64 Om Omc) 2)) (cbrt.f64 (pow.f64 (/.f64 Om Omc) 2))) (cbrt.f64 (pow.f64 (/.f64 Om Omc) 2)))
0.1b	(/.f64 (-.f64 1 (.f64 (.f64 (cbrt.f64 (pow.f64 (/.f64 Om Omc) 2)) (cbrt.f64 (pow.f64 (/.f64 Om Omc) 2))) (cbrt.f64 (pow.f64 (/.f64 Om Omc) 2)))) (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2))))
0.0b	(-.f64 1 (.f64 (.f64 (cbrt.f64 (pow.f64 (/.f64 Om Omc) 2)) (cbrt.f64 (pow.f64 (/.f64 Om Omc) 2))) (cbrt.f64 (pow.f64 (/.f64 Om Omc) 2))))
7.1b	(sqrt.f64 (/.f64 (-.f64 1 (.f64 (.f64 (cbrt.f64 (pow.f64 (/.f64 Om Omc) 2)) (cbrt.f64 (pow.f64 (/.f64 Om Omc) 2))) (cbrt.f64 (pow.f64 (/.f64 Om Omc) 2)))) (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2)))))
34.4b	(cbrt.f64 (pow.f64 (/.f64 Om Omc) 2))
34.4b	(cbrt.f64 (pow.f64 (/.f64 Om Omc) 2))
34.4b	(cbrt.f64 (pow.f64 (/.f64 Om Omc) 2))

rewrite35.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

54×	`cbrt-prod_binary64_109`
39×	`unpow-prod-down_binary64_157`
38×	`add-sqr-sqrt_binary64_100`
37×	`times-frac_binary64_84`
35×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
15×	`sqrt-prod_binary64_94`
5×	`pow1_binary64_139`
4×	`add-cbrt-cube_binary64_114` `add-log-exp_binary64_117` `div-inv_binary64_75` `add-exp-log_binary64_116`
3×	`unpow2_binary64_143` `pow1/3_binary64_160` `sqr-pow_binary64_50`
2×	`rem-sqrt-square_binary64_91` `associate-/r/_binary64_24`
1×	`sqrt-pow1_binary64_96` `flip-+_binary64_52` `sqrt-div_binary64_95` `pow1/2_binary64_158` `flip3-+_binary64_81`

Counts

4 → 105

Calls

8 calls:

7.0ms	(sqrt.f64 (/.f64 (-.f64 1 (.f64 (.f64 (cbrt.f64 (pow.f64 (/.f64 Om Omc) 2)) (cbrt.f64 (pow.f64 (/.f64 Om Omc) 2))) (cbrt.f64 (pow.f64 (/.f64 Om Omc) 2)))) (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2)))))
5.0ms	(cbrt.f64 (pow.f64 (/.f64 Om Omc) 2))
4.0ms	(cbrt.f64 (pow.f64 (/.f64 Om Omc) 2))
4.0ms	(cbrt.f64 (pow.f64 (/.f64 Om Omc) 2))
0.0ms	(-.f64 1 (.f64 (.f64 (cbrt.f64 (pow.f64 (/.f64 Om Omc) 2)) (cbrt.f64 (pow.f64 (/.f64 Om Omc) 2))) (cbrt.f64 (pow.f64 (/.f64 Om Omc) 2))))

series2.1s (0.7%)

Counts

4 → 48

Calls

4 calls:

1.3s	(sqrt.f64 (/.f64 (-.f64 1 (.f64 (.f64 (cbrt.f64 (pow.f64 (/.f64 Om Omc) 2)) (cbrt.f64 (pow.f64 (/.f64 Om Omc) 2))) (cbrt.f64 (pow.f64 (/.f64 Om Omc) 2)))) (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2)))))
258.0ms	(cbrt.f64 (pow.f64 (/.f64 Om Omc) 2))
246.0ms	(cbrt.f64 (pow.f64 (/.f64 Om Omc) 2))
236.0ms	(cbrt.f64 (pow.f64 (/.f64 Om Omc) 2))

Compiler

Compiled 5292 to 4638 computations (12.4% saved)

simplify102.0ms (0%)

Algorithm

1×	egg-herbie

Counts

153 → 153

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5064	6874

localize7.0ms (0%)

Local error

Found 8 expressions with local error:

0.4b	(asin.f64 (sqrt.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2))))
0.2b	(pow.f64 (/.f64 Om Omc) 2)
0.0b	(sqrt.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)))
0.0b	(-.f64 1 (pow.f64 (/.f64 Om Omc) 2))
0.0b	(sqrt.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)))
0.0b	(-.f64 1 (pow.f64 (/.f64 Om Omc) 2))
0.2b	(pow.f64 (/.f64 Om Omc) 2)
0.4b	(asin.f64 (sqrt.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2))))

rewrite37.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

48×	`add-sqr-sqrt_binary64_100`
35×	`*-un-lft-identity_binary64_78`
34×	`unpow-prod-down_binary64_157`
22×	`times-frac_binary64_84`
21×	`add-cube-cbrt_binary64_113`
20×	`difference-of-squares_binary64_47`
18×	`cancel-sign-sub-inv_binary64_44`
14×	`sqrt-prod_binary64_94`
7×	`add-exp-log_binary64_116`
6×	`add-log-exp_binary64_117` `unpow2_binary64_143` `sqr-pow_binary64_50` `pow1_binary64_139`
4×	`add-cbrt-cube_binary64_114`
3×	`pow-unpow_binary64_155`
2×	`pow-exp_binary64_146` `distribute-lft-out--_binary64_30` `flip3--_binary64_82` `div-inv_binary64_75` `flip--_binary64_53` `sqrt-div_binary64_95`
1×	`pow-to-exp_binary64_147` `sqrt-pow1_binary64_96` `div-exp_binary64_129` `rem-sqrt-square_binary64_91` `diff-log_binary64_170` `pow-pow_binary64_150` `asin-acos_binary64_258` `pow1/2_binary64_158` `sub-neg_binary64_71`

Counts

4 → 103

Calls

8 calls:

12.0ms	(-.f64 1 (pow.f64 (/.f64 Om Omc) 2))
11.0ms	(sqrt.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)))
4.0ms	(pow.f64 (/.f64 Om Omc) 2)
1.0ms	(asin.f64 (sqrt.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2))))
0.0ms	(-.f64 1 (pow.f64 (/.f64 Om Omc) 2))

series313.0ms (0.1%)

Counts

4 → 39

Calls

4 calls:

112.0ms	(-.f64 1 (pow.f64 (/.f64 Om Omc) 2))
95.0ms	(sqrt.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)))
67.0ms	(pow.f64 (/.f64 Om Omc) 2)
39.0ms	(asin.f64 (sqrt.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2))))

Compiler

Compiled 739 to 847 computations (-14.6% saved)

simplify85.0ms (0%)

Algorithm

1×	egg-herbie

Counts

142 → 142

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	5017	1911

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(pow.f64 (/.f64 (sqrt.f64 t) l) 2)
0.1b	(/.f64 (sqrt.f64 t) l)
0.0b	(/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (.f64 2 (.f64 t (pow.f64 (/.f64 (sqrt.f64 t) l) 2)))))
0.0b	(-.f64 1 (pow.f64 (/.f64 Om Omc) 2))
0.2b	(pow.f64 (/.f64 Om Omc) 2)
0.2b	(asin.f64 (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (.f64 2 (.f64 t (pow.f64 (/.f64 (sqrt.f64 t) l) 2)))))))
1.5b	(*.f64 t (pow.f64 (/.f64 (sqrt.f64 t) l) 2))
4.2b	(sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (.f64 2 (.f64 t (pow.f64 (/.f64 (sqrt.f64 t) l) 2))))))

rewrite59.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

99×	`add-sqr-sqrt_binary64_100`
78×	`times-frac_binary64_84`
66×	`*-un-lft-identity_binary64_78`
58×	`sqrt-prod_binary64_94`
50×	`unpow-prod-down_binary64_157`
45×	`add-cube-cbrt_binary64_113`
30×	`difference-of-squares_binary64_47`
27×	`associate-r_binary64_18`
15×	`add-exp-log_binary64_116`
9×	`unpow2_binary64_143` `sqr-pow_binary64_50`
6×	`add-cbrt-cube_binary64_114` `unswap-sqr_binary64_46` `pow1_binary64_139`
4×	`pow-exp_binary64_146` `add-log-exp_binary64_117` `prod-exp_binary64_127`
3×	`associate-l_binary64_19` `distribute-lft-out--_binary64_30` `div-inv_binary64_75` `pow-unpow_binary64_155`
2×	`pow-to-exp_binary64_147` `div-exp_binary64_129` `rem-sqrt-square_binary64_91` `associate-/r/_binary64_24`
1×	`*-commutative_binary64_9` `sqrt-pow1_binary64_96` `cbrt-unprod_binary64_111` `flip-+_binary64_52` `pow-pow_binary64_150` `sqrt-div_binary64_95` `asin-acos_binary64_258` `pow1/2_binary64_158` `flip3-+_binary64_81`

Counts

4 → 146

Calls

8 calls:

20.0ms	(sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (.f64 2 (.f64 t (pow.f64 (/.f64 (sqrt.f64 t) l) 2))))))
14.0ms	(*.f64 t (pow.f64 (/.f64 (sqrt.f64 t) l) 2))
5.0ms	(pow.f64 (/.f64 Om Omc) 2)
1.0ms	(asin.f64 (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (.f64 2 (.f64 t (pow.f64 (/.f64 (sqrt.f64 t) l) 2)))))))
0.0ms	(-.f64 1 (pow.f64 (/.f64 Om Omc) 2))

series1.3s (0.4%)

Counts

4 → 51

Calls

4 calls:

1.0s	(sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (.f64 2 (.f64 t (pow.f64 (/.f64 (sqrt.f64 t) l) 2))))))
119.0ms	(asin.f64 (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (.f64 2 (.f64 t (pow.f64 (/.f64 (sqrt.f64 t) l) 2)))))))
79.0ms	(*.f64 t (pow.f64 (/.f64 (sqrt.f64 t) l) 2))
74.0ms	(pow.f64 (/.f64 Om Omc) 2)

Compiler

Compiled 4134 to 3744 computations (9.4% saved)

simplify112.0ms (0%)

Algorithm

1×	egg-herbie

Counts

197 → 197

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5548	8287

localize24.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (*.f64 (pow.f64 (/.f64 t l) 6) 8)))
0.1b	(.f64 (pow.f64 (/.f64 t l) 2) (+.f64 (.f64 (pow.f64 (/.f64 t l) 2) 4) -2))
0.0b	(+.f64 (*.f64 (pow.f64 (/.f64 t l) 2) 4) -2)
0.0b	(-.f64 1 (pow.f64 (/.f64 Om Omc) 2))
0.5b	(asin.f64 (.f64 (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (.f64 (pow.f64 (/.f64 t l) 6) 8)))) (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 t l) 2) (+.f64 (.f64 (pow.f64 (/.f64 t l) 2) 4) -2))))))
4.1b	(sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (*.f64 (pow.f64 (/.f64 t l) 6) 8))))
7.7b	(sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 t l) 2) (+.f64 (.f64 (pow.f64 (/.f64 t l) 2) 4) -2))))
22.5b	(.f64 (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (.f64 (pow.f64 (/.f64 t l) 6) 8)))) (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 t l) 2) (+.f64 (.f64 (pow.f64 (/.f64 t l) 2) 4) -2)))))

rewrite93.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

140×	`add-sqr-sqrt_binary64_100`
109×	`sqrt-prod_binary64_94`
99×	`times-frac_binary64_84`
86×	`*-un-lft-identity_binary64_78`
60×	`difference-of-squares_binary64_47`
51×	`associate-l_binary64_19`
44×	`add-cube-cbrt_binary64_113`
24×	`unpow-prod-down_binary64_157`
12×	`unpow2_binary64_143` `sqr-pow_binary64_50`
10×	`sqrt-div_binary64_95` `pow1_binary64_139`
6×	`add-cbrt-cube_binary64_114` `distribute-lft-out--_binary64_30` `associate-r_binary64_18` `add-exp-log_binary64_116` `unswap-sqr_binary64_46`
5×	`flip-+_binary64_52` `flip3-+_binary64_81`
4×	`add-log-exp_binary64_117` `sqrt-pow1_binary64_96` `associate-/r/_binary64_24` `pow1/2_binary64_158`
3×	`rem-sqrt-square_binary64_91` `pow-prod-down_binary64_149`
2×	`div-inv_binary64_75` `frac-times_binary64_88` `associate-*r/_binary64_20`
1×	`-commutative_binary64_9` `cbrt-unprod_binary64_111` `prod-exp_binary64_127` `sqrt-unprod_binary64_98` `associate-l/_binary64_21` `asin-acos_binary64_258`

Counts

4 → 165

Calls

8 calls:

40.0ms	(.f64 (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (.f64 (pow.f64 (/.f64 t l) 6) 8)))) (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 t l) 2) (+.f64 (.f64 (pow.f64 (/.f64 t l) 2) 4) -2)))))
18.0ms	(sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (*.f64 (pow.f64 (/.f64 t l) 6) 8))))
3.0ms	(sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 t l) 2) (+.f64 (.f64 (pow.f64 (/.f64 t l) 2) 4) -2))))
1.0ms	(asin.f64 (.f64 (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (.f64 (pow.f64 (/.f64 t l) 6) 8)))) (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 t l) 2) (+.f64 (.f64 (pow.f64 (/.f64 t l) 2) 4) -2))))))
0.0ms	(-.f64 1 (pow.f64 (/.f64 Om Omc) 2))

series6.3s (2.1%)

Counts

4 → 84

Calls

4 calls:

4.0s	(.f64 (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (.f64 (pow.f64 (/.f64 t l) 6) 8)))) (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 t l) 2) (+.f64 (.f64 (pow.f64 (/.f64 t l) 2) 4) -2)))))
1.9s	(sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (*.f64 (pow.f64 (/.f64 t l) 6) 8))))
217.0ms	(asin.f64 (.f64 (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (.f64 (pow.f64 (/.f64 t l) 6) 8)))) (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 t l) 2) (+.f64 (.f64 (pow.f64 (/.f64 t l) 2) 4) -2))))))
173.0ms	(sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 t l) 2) (+.f64 (.f64 (pow.f64 (/.f64 t l) 2) 4) -2))))

Compiler

Compiled 14296 to 12236 computations (14.4% saved)

simplify193.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

249 → 249

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5021	23391

localize23.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(pow.f64 (/.f64 (sqrt.f64 Om) (*.f64 (cbrt.f64 Omc) (cbrt.f64 Omc))) 2)
0.2b	(/.f64 (sqrt.f64 Om) (cbrt.f64 Omc))
0.1b	(.f64 (pow.f64 (/.f64 (sqrt.f64 Om) (.f64 (cbrt.f64 Omc) (cbrt.f64 Omc))) 2) (pow.f64 (/.f64 (sqrt.f64 Om) (cbrt.f64 Omc)) 2))
0.1b	(/.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (sqrt.f64 Om) (.f64 (cbrt.f64 Omc) (cbrt.f64 Omc))) 2) (pow.f64 (/.f64 (sqrt.f64 Om) (cbrt.f64 Omc)) 2))) (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2))))
0.5b	(cbrt.f64 Omc)
0.5b	(cbrt.f64 Omc)
0.5b	(*.f64 (cbrt.f64 Omc) (cbrt.f64 Omc))
3.7b	(sqrt.f64 (/.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (sqrt.f64 Om) (.f64 (cbrt.f64 Omc) (cbrt.f64 Omc))) 2) (pow.f64 (/.f64 (sqrt.f64 Om) (cbrt.f64 Omc)) 2))) (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2)))))

rewrite29.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

32×	`add-sqr-sqrt_binary64_100`
22×	`cbrt-prod_binary64_109`
21×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
15×	`sqrt-prod_binary64_94`
12×	`pow1_binary64_139`
10×	`times-frac_binary64_84`
8×	`pow1/3_binary64_160`
6×	`associate-l_binary64_19` `swap-sqr_binary64_45` `associate-r_binary64_18` `add-exp-log_binary64_116`
4×	`add-cbrt-cube_binary64_114` `add-log-exp_binary64_117` `unswap-sqr_binary64_46`
2×	`pow-sqr_binary64_51` `rem-sqrt-square_binary64_91` `pow-prod-up_binary64_148` `pow-prod-down_binary64_149` `associate-/r/_binary64_24`
1×	`pow2_binary64_159` `*-commutative_binary64_9` `sqrt-pow1_binary64_96` `cbrt-unprod_binary64_111` `prod-exp_binary64_127` `flip-+_binary64_52` `div-inv_binary64_75` `sqrt-div_binary64_95` `pow-plus_binary64_141` `pow1/2_binary64_158` `flip3-+_binary64_81`

Counts

4 → 89

Calls

8 calls:

8.0ms	(sqrt.f64 (/.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (sqrt.f64 Om) (.f64 (cbrt.f64 Omc) (cbrt.f64 Omc))) 2) (pow.f64 (/.f64 (sqrt.f64 Om) (cbrt.f64 Omc)) 2))) (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2)))))
7.0ms	(*.f64 (cbrt.f64 Omc) (cbrt.f64 Omc))
1.0ms	(cbrt.f64 Omc)
1.0ms	(cbrt.f64 Omc)
0.0ms	(/.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (sqrt.f64 Om) (.f64 (cbrt.f64 Omc) (cbrt.f64 Omc))) 2) (pow.f64 (/.f64 (sqrt.f64 Om) (cbrt.f64 Omc)) 2))) (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2))))

series1.6s (0.5%)

Counts

4 → 39

Calls

4 calls:

1.4s	(sqrt.f64 (/.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (sqrt.f64 Om) (.f64 (cbrt.f64 Omc) (cbrt.f64 Omc))) 2) (pow.f64 (/.f64 (sqrt.f64 Om) (cbrt.f64 Omc)) 2))) (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2)))))
97.0ms	(*.f64 (cbrt.f64 Omc) (cbrt.f64 Omc))
76.0ms	(cbrt.f64 Omc)
72.0ms	(cbrt.f64 Omc)

Compiler

Compiled 4417 to 3866 computations (12.5% saved)

simplify95.0ms (0%)

Algorithm

1×	egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5725	6803

prune22.3s (7.4%)

Pruning

386 alts after pruning (381 fresh and 5 done)

	Pruned	Kept	Total
New	553	316	869
Fresh	6	65	71
Picked	0	0	0
Done	1	5	6
Total	560	386	946

Error

0.7b

Counts

946 → 386

Compiler

Compiled 48743 to 35291 computations (27.6% saved)

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(/.f64 1 (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2))))
0.0b	(sqrt.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)))
0.0b	(.f64 (sqrt.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2))) (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 2 (pow.f64 (/.f64 t l) 2))))))
0.0b	(-.f64 1 (pow.f64 (/.f64 Om Omc) 2))
0.2b	(pow.f64 (/.f64 Om Omc) 2)
0.3b	(pow.f64 (/.f64 t l) 2)
0.5b	(asin.f64 (.f64 (sqrt.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2))) (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 2 (pow.f64 (/.f64 t l) 2)))))))
7.1b	(sqrt.f64 (/.f64 1 (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2)))))

rewrite25.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`add-sqr-sqrt_binary64_100`
29×	`times-frac_binary64_84`
28×	`*-un-lft-identity_binary64_78`
27×	`add-cube-cbrt_binary64_113`
26×	`unpow-prod-down_binary64_157`
15×	`sqrt-prod_binary64_94`
10×	`add-exp-log_binary64_116`
8×	`pow1_binary64_139`
6×	`pow-unpow_binary64_155`
4×	`add-cbrt-cube_binary64_114` `pow-exp_binary64_146` `add-log-exp_binary64_117`
3×	`sqrt-pow1_binary64_96` `rem-sqrt-square_binary64_91` `div-inv_binary64_75`
2×	`pow-to-exp_binary64_147` `div-exp_binary64_129` `unpow2_binary64_143` `sqr-pow_binary64_50` `pow-pow_binary64_150` `associate-/r/_binary64_24`
1×	`inv-pow_binary64_163` `flip-+_binary64_52` `pow-flip_binary64_152` `sqrt-div_binary64_95` `asin-acos_binary64_258` `pow1/2_binary64_158` `flip3-+_binary64_81`

Counts

4 → 96

Calls

8 calls:

5.0ms	(sqrt.f64 (/.f64 1 (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2)))))
5.0ms	(pow.f64 (/.f64 t l) 2)
5.0ms	(pow.f64 (/.f64 Om Omc) 2)
1.0ms	(asin.f64 (.f64 (sqrt.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2))) (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 2 (pow.f64 (/.f64 t l) 2)))))))
0.0ms	(-.f64 1 (pow.f64 (/.f64 Om Omc) 2))

series487.0ms (0.2%)

Counts

4 → 39

Calls

4 calls:

223.0ms	(sqrt.f64 (/.f64 1 (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2)))))
114.0ms	(asin.f64 (.f64 (sqrt.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2))) (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 2 (pow.f64 (/.f64 t l) 2)))))))
77.0ms	(pow.f64 (/.f64 Om Omc) 2)
73.0ms	(pow.f64 (/.f64 t l) 2)

Compiler

Compiled 1826 to 1772 computations (3% saved)

simplify76.0ms (0%)

Algorithm

1×	egg-herbie

Counts

135 → 135

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5029	2766

localize1.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(*.f64 t (cbrt.f64 t))
0.2b	(pow.f64 (/.f64 Om Omc) 2)
0.1b	(/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (.f64 2 (.f64 (*.f64 t (cbrt.f64 t)) (pow.f64 (/.f64 (cbrt.f64 t) l) 2)))))
0.0b	(-.f64 1 (pow.f64 (/.f64 Om Omc) 2))
0.6b	(cbrt.f64 t)
0.6b	(cbrt.f64 t)
7.1b	(sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (.f64 2 (.f64 (*.f64 t (cbrt.f64 t)) (pow.f64 (/.f64 (cbrt.f64 t) l) 2))))))
10.3b	(.f64 (.f64 t (cbrt.f64 t)) (pow.f64 (/.f64 (cbrt.f64 t) l) 2))

rewrite56.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

80×	`add-sqr-sqrt_binary64_100`
67×	`times-frac_binary64_84`
59×	`*-un-lft-identity_binary64_78`
48×	`sqrt-prod_binary64_94`
38×	`add-cube-cbrt_binary64_113`
34×	`unpow-prod-down_binary64_157`
30×	`difference-of-squares_binary64_47`
27×	`associate-r_binary64_18`
24×	`add-exp-log_binary64_116`
15×	`cbrt-prod_binary64_109`
12×	`prod-exp_binary64_127`
8×	`add-cbrt-cube_binary64_114`
7×	`unpow2_binary64_143` `sqr-pow_binary64_50`
5×	`pow1_binary64_139`
4×	`pow-exp_binary64_146` `add-log-exp_binary64_117`
3×	`cbrt-unprod_binary64_111` `distribute-lft-out--_binary64_30`
2×	`pow-to-exp_binary64_147` `div-exp_binary64_129` `rem-sqrt-square_binary64_91` `pow1/3_binary64_160` `div-inv_binary64_75` `associate-/r/_binary64_24`
1×	`-commutative_binary64_9` `associate-l*_binary64_19` `sqrt-pow1_binary64_96` `flip-+_binary64_52` `sqrt-div_binary64_95` `pow1/2_binary64_158` `flip3-+_binary64_81`

Counts

4 → 128

Calls

8 calls:

17.0ms	(sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (.f64 2 (.f64 (*.f64 t (cbrt.f64 t)) (pow.f64 (/.f64 (cbrt.f64 t) l) 2))))))
14.0ms	(.f64 (.f64 t (cbrt.f64 t)) (pow.f64 (/.f64 (cbrt.f64 t) l) 2))
1.0ms	(cbrt.f64 t)
1.0ms	(cbrt.f64 t)
0.0ms	(-.f64 1 (pow.f64 (/.f64 Om Omc) 2))

series1.9s (0.6%)

Counts

4 → 42

Calls

4 calls:

1.7s	(sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (.f64 2 (.f64 (*.f64 t (cbrt.f64 t)) (pow.f64 (/.f64 (cbrt.f64 t) l) 2))))))
100.0ms	(.f64 (.f64 t (cbrt.f64 t)) (pow.f64 (/.f64 (cbrt.f64 t) l) 2))
76.0ms	(cbrt.f64 t)
75.0ms	(cbrt.f64 t)

Compiler

Compiled 4639 to 4116 computations (11.3% saved)

simplify103.0ms (0%)

Algorithm

1×	egg-herbie

Counts

170 → 170

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	5687	9469

localize19.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2))))
0.1b	(/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2))))
0.0b	(-.f64 1 (pow.f64 (/.f64 Om Omc) 2))
0.0b	(-.f64 1 (pow.f64 (/.f64 Om Omc) 2))
0.5b	(asin.f64 (.f64 (fabs.f64 (cbrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (.f64 2 (pow.f64 (/.f64 t l) 2)))))) (sqrt.f64 (cbrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2))))))))
1.8b	(sqrt.f64 (cbrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2))))))
14.4b	(cbrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2)))))
14.4b	(cbrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2)))))

rewrite92.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

180×	`add-sqr-sqrt_binary64_100`
146×	`cbrt-prod_binary64_109`
145×	`times-frac_binary64_84`
122×	`*-un-lft-identity_binary64_78`
90×	`difference-of-squares_binary64_47`
59×	`add-cube-cbrt_binary64_113`
51×	`sqrt-prod_binary64_94`
36×	`unpow-prod-down_binary64_157`
18×	`unpow2_binary64_143` `sqr-pow_binary64_50`
9×	`distribute-lft-out--_binary64_30`
6×	`associate-/r/_binary64_24`
5×	`pow1_binary64_139`
4×	`add-cbrt-cube_binary64_114` `add-log-exp_binary64_117` `add-exp-log_binary64_116`
3×	`cbrt-div_binary64_110` `flip-+_binary64_52` `rem-sqrt-square_binary64_91` `pow1/3_binary64_160` `div-inv_binary64_75` `flip3-+_binary64_81`
2×	`sqrt-pow1_binary64_96`
1×	`sqrt-div_binary64_95` `asin-acos_binary64_258` `pow1/2_binary64_158`

Counts

4 → 187

Calls

8 calls:

20.0ms	(cbrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2)))))
20.0ms	(sqrt.f64 (cbrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2))))))
15.0ms	(cbrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2)))))
1.0ms	(asin.f64 (.f64 (fabs.f64 (cbrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (.f64 2 (pow.f64 (/.f64 t l) 2)))))) (sqrt.f64 (cbrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2))))))))
0.0ms	(-.f64 1 (pow.f64 (/.f64 Om Omc) 2))

series7.3s (2.4%)

Counts

4 → 102

Calls

4 calls:

2.3s	(sqrt.f64 (cbrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2))))))
2.3s	(cbrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2)))))
2.3s	(cbrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2)))))
281.0ms	(asin.f64 (.f64 (fabs.f64 (cbrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (.f64 2 (pow.f64 (/.f64 t l) 2)))))) (sqrt.f64 (cbrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2))))))))

Compiler

Compiled 19686 to 16758 computations (14.9% saved)

simplify251.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

289 → 289

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5381	32754

localize29.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(/.f64 (sqrt.f64 Om) (*.f64 (cbrt.f64 (pow.f64 Omc 2/3)) (cbrt.f64 (cbrt.f64 Omc))))
0.1b	(pow.f64 (/.f64 (sqrt.f64 Om) (*.f64 (cbrt.f64 (pow.f64 Omc 2/3)) (cbrt.f64 (cbrt.f64 Omc)))) 2)
0.0b	(.f64 (pow.f64 (/.f64 (sqrt.f64 Om) (.f64 (cbrt.f64 Omc) (cbrt.f64 Omc))) 2) (pow.f64 (/.f64 (sqrt.f64 Om) (*.f64 (cbrt.f64 (pow.f64 Omc 2/3)) (cbrt.f64 (cbrt.f64 Omc)))) 2))
0.0b	(/.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (sqrt.f64 Om) (.f64 (cbrt.f64 Omc) (cbrt.f64 Omc))) 2) (pow.f64 (/.f64 (sqrt.f64 Om) (.f64 (cbrt.f64 (pow.f64 Omc 2/3)) (cbrt.f64 (cbrt.f64 Omc)))) 2))) (+.f64 1 (.f64 2 (pow.f64 (/.f64 t l) 2))))
0.5b	(*.f64 (cbrt.f64 Omc) (cbrt.f64 Omc))
0.5b	(cbrt.f64 (cbrt.f64 Omc))
1.8b	(sqrt.f64 (/.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (sqrt.f64 Om) (.f64 (cbrt.f64 Omc) (cbrt.f64 Omc))) 2) (pow.f64 (/.f64 (sqrt.f64 Om) (.f64 (cbrt.f64 (pow.f64 Omc 2/3)) (cbrt.f64 (cbrt.f64 Omc)))) 2))) (+.f64 1 (.f64 2 (pow.f64 (/.f64 t l) 2)))))
2.8b	(pow.f64 Omc 2/3)

rewrite37.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

34×	`add-sqr-sqrt_binary64_100`
25×	`cbrt-prod_binary64_109`
23×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
15×	`sqrt-prod_binary64_94`
13×	`pow1_binary64_139`
10×	`times-frac_binary64_84`
7×	`pow1/3_binary64_160` `add-exp-log_binary64_116`
6×	`associate-l_binary64_19` `swap-sqr_binary64_45` `associate-r_binary64_18`
4×	`add-cbrt-cube_binary64_114` `add-log-exp_binary64_117` `unswap-sqr_binary64_46`
3×	`unpow-prod-down_binary64_157` `pow-unpow_binary64_155`
2×	`pow-sqr_binary64_51` `rem-sqrt-square_binary64_91` `pow-prod-up_binary64_148` `pow-prod-down_binary64_149` `associate-/r/_binary64_24`
1×	`pow2_binary64_159` `*-commutative_binary64_9` `pow-exp_binary64_146` `pow-to-exp_binary64_147` `sqrt-pow1_binary64_96` `cbrt-unprod_binary64_111` `prod-exp_binary64_127` `flip-+_binary64_52` `sqr-pow_binary64_50` `div-inv_binary64_75` `pow-pow_binary64_150` `sqrt-div_binary64_95` `pow-plus_binary64_141` `pow1/2_binary64_158` `flip3-+_binary64_81`

Counts

4 → 98

Calls

8 calls:

11.0ms	(*.f64 (cbrt.f64 Omc) (cbrt.f64 Omc))
8.0ms	(sqrt.f64 (/.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (sqrt.f64 Om) (.f64 (cbrt.f64 Omc) (cbrt.f64 Omc))) 2) (pow.f64 (/.f64 (sqrt.f64 Om) (.f64 (cbrt.f64 (pow.f64 Omc 2/3)) (cbrt.f64 (cbrt.f64 Omc)))) 2))) (+.f64 1 (.f64 2 (pow.f64 (/.f64 t l) 2)))))
3.0ms	(pow.f64 Omc 2/3)
2.0ms	(cbrt.f64 (cbrt.f64 Omc))
0.0ms	(/.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (sqrt.f64 Om) (.f64 (cbrt.f64 Omc) (cbrt.f64 Omc))) 2) (pow.f64 (/.f64 (sqrt.f64 Om) (.f64 (cbrt.f64 (pow.f64 Omc 2/3)) (cbrt.f64 (cbrt.f64 Omc)))) 2))) (+.f64 1 (.f64 2 (pow.f64 (/.f64 t l) 2))))

series1.6s (0.5%)

Counts

4 → 39

Calls

4 calls:

1.4s	(sqrt.f64 (/.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (sqrt.f64 Om) (.f64 (cbrt.f64 Omc) (cbrt.f64 Omc))) 2) (pow.f64 (/.f64 (sqrt.f64 Om) (.f64 (cbrt.f64 (pow.f64 Omc 2/3)) (cbrt.f64 (cbrt.f64 Omc)))) 2))) (+.f64 1 (.f64 2 (pow.f64 (/.f64 t l) 2)))))
104.0ms	(cbrt.f64 (cbrt.f64 Omc))
99.0ms	(*.f64 (cbrt.f64 Omc) (cbrt.f64 Omc))
71.0ms	(pow.f64 Omc 2/3)

Compiler

Compiled 4549 to 3974 computations (12.6% saved)

simplify96.0ms (0%)

Algorithm

1×	egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	4922	7229
1	4922	7229

prune42.3s (14%)

Pruning

629 alts after pruning (620 fresh and 9 done)

	Pruned	Kept	Total
New	468	263	731
Fresh	19	357	376
Picked	0	0	0
Done	1	9	10
Total	488	629	1117

Error

0.5b

Counts

1117 → 629

Compiler

Compiled 76453 to 52867 computations (30.9% saved)

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(pow.f64 (/.f64 Om Omc) 2)
0.0b	(.f64 (sqrt.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2))) (pow.f64 (+.f64 1 (.f64 2 (pow.f64 (/.f64 t l) 2))) -1/2))
0.0b	(sqrt.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)))
0.0b	(-.f64 1 (pow.f64 (/.f64 Om Omc) 2))
0.2b	(pow.f64 (/.f64 Om Omc) 2)
0.3b	(pow.f64 (/.f64 t l) 2)
0.5b	(asin.f64 (.f64 (sqrt.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2))) (pow.f64 (+.f64 1 (.f64 2 (pow.f64 (/.f64 t l) 2))) -1/2)))
7.2b	(pow.f64 (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2))) -1/2)

rewrite23.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`unpow-prod-down_binary64_157`
22×	`add-sqr-sqrt_binary64_100` `add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
18×	`times-frac_binary64_84`
11×	`add-exp-log_binary64_116`
9×	`pow-unpow_binary64_155`
7×	`pow1_binary64_139`
5×	`pow-exp_binary64_146`
4×	`add-cbrt-cube_binary64_114` `add-log-exp_binary64_117`
3×	`pow-to-exp_binary64_147` `sqr-pow_binary64_50` `pow-pow_binary64_150`
2×	`div-exp_binary64_129` `unpow2_binary64_143` `div-inv_binary64_75`
1×	`asin-acos_binary64_258`

Counts

4 → 83

Calls

8 calls:

5.0ms	(pow.f64 (/.f64 Om Omc) 2)
5.0ms	(pow.f64 (/.f64 t l) 2)
4.0ms	(pow.f64 (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2))) -1/2)
1.0ms	(asin.f64 (.f64 (sqrt.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2))) (pow.f64 (+.f64 1 (.f64 2 (pow.f64 (/.f64 t l) 2))) -1/2)))
0.0ms	(-.f64 1 (pow.f64 (/.f64 Om Omc) 2))

series538.0ms (0.2%)

Counts

4 → 39

Calls

4 calls:

268.0ms	(pow.f64 (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2))) -1/2)
116.0ms	(asin.f64 (.f64 (sqrt.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2))) (pow.f64 (+.f64 1 (.f64 2 (pow.f64 (/.f64 t l) 2))) -1/2)))
79.0ms	(pow.f64 (/.f64 t l) 2)
74.0ms	(pow.f64 (/.f64 Om Omc) 2)

Compiler

Compiled 1972 to 1900 computations (3.7% saved)

simplify83.0ms (0%)

Algorithm

1×	egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5078	2662

localize3.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize25.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(.f64 t (.f64 (cbrt.f64 -1) (cbrt.f64 (neg.f64 t))))
0.2b	(pow.f64 (/.f64 Om Omc) 2)
0.1b	(/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (.f64 2 (.f64 (.f64 t (.f64 (cbrt.f64 -1) (cbrt.f64 (neg.f64 t)))) (pow.f64 (/.f64 (cbrt.f64 t) l) 2)))))
0.0b	(-.f64 1 (pow.f64 (/.f64 Om Omc) 2))
0.6b	(cbrt.f64 t)
0.6b	(cbrt.f64 (neg.f64 t))
7.1b	(sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (.f64 2 (.f64 (.f64 t (.f64 (cbrt.f64 -1) (cbrt.f64 (neg.f64 t)))) (pow.f64 (/.f64 (cbrt.f64 t) l) 2))))))
10.3b	(.f64 (.f64 t (*.f64 (cbrt.f64 -1) (cbrt.f64 (neg.f64 t)))) (pow.f64 (/.f64 (cbrt.f64 t) l) 2))

rewrite66.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

82×	`add-sqr-sqrt_binary64_100`
67×	`times-frac_binary64_84`
61×	`*-un-lft-identity_binary64_78`
48×	`sqrt-prod_binary64_94`
40×	`add-cube-cbrt_binary64_113` `add-exp-log_binary64_116`
34×	`unpow-prod-down_binary64_157`
30×	`difference-of-squares_binary64_47`
27×	`associate-r_binary64_18`
24×	`prod-exp_binary64_127`
22×	`cbrt-prod_binary64_109`
11×	`add-cbrt-cube_binary64_114`
7×	`unpow2_binary64_143` `sqr-pow_binary64_50`
6×	`pow-exp_binary64_146` `cbrt-unprod_binary64_111`
5×	`pow1_binary64_139`
4×	`add-log-exp_binary64_117`
3×	`distribute-lft-neg-in_binary64_35` `pow-to-exp_binary64_147` `div-exp_binary64_129` `distribute-lft-out--_binary64_30` `distribute-rgt-neg-in_binary64_36`
2×	`rem-sqrt-square_binary64_91` `pow1/3_binary64_160` `div-inv_binary64_75` `associate-/r/_binary64_24`
1×	`-commutative_binary64_9` `associate-l*_binary64_19` `sqrt-pow1_binary64_96` `flip-+_binary64_52` `neg-mul-1_binary64_74` `sqrt-div_binary64_95` `pow1/2_binary64_158` `flip3-+_binary64_81`

Counts

4 → 140

Calls

8 calls:

21.0ms	(sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (.f64 2 (.f64 (.f64 t (.f64 (cbrt.f64 -1) (cbrt.f64 (neg.f64 t)))) (pow.f64 (/.f64 (cbrt.f64 t) l) 2))))))
20.0ms	(.f64 (.f64 t (*.f64 (cbrt.f64 -1) (cbrt.f64 (neg.f64 t)))) (pow.f64 (/.f64 (cbrt.f64 t) l) 2))
2.0ms	(cbrt.f64 (neg.f64 t))
1.0ms	(cbrt.f64 t)
0.0ms	(-.f64 1 (pow.f64 (/.f64 Om Omc) 2))

series2.7s (0.9%)

Counts

4 → 42

Calls

4 calls:

2.4s	(sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (.f64 2 (.f64 (.f64 t (.f64 (cbrt.f64 -1) (cbrt.f64 (neg.f64 t)))) (pow.f64 (/.f64 (cbrt.f64 t) l) 2))))))
181.0ms	(.f64 (.f64 t (*.f64 (cbrt.f64 -1) (cbrt.f64 (neg.f64 t)))) (pow.f64 (/.f64 (cbrt.f64 t) l) 2))
88.0ms	(cbrt.f64 (neg.f64 t))
78.0ms	(cbrt.f64 t)

Compiler

Compiled 5251 to 4728 computations (10% saved)

simplify118.0ms (0%)

Algorithm

1×	egg-herbie

Counts

182 → 182

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	4993	11592
1	4993	11592

localize33.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(.f64 t (.f64 (*.f64 (cbrt.f64 (cbrt.f64 t)) (cbrt.f64 (cbrt.f64 t))) (cbrt.f64 (cbrt.f64 t))))
0.2b	(pow.f64 (/.f64 Om Omc) 2)
0.1b	(/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (.f64 2 (.f64 (.f64 t (.f64 (*.f64 (cbrt.f64 (cbrt.f64 t)) (cbrt.f64 (cbrt.f64 t))) (cbrt.f64 (cbrt.f64 t)))) (pow.f64 (/.f64 (cbrt.f64 t) l) 2)))))
0.0b	(-.f64 1 (pow.f64 (/.f64 Om Omc) 2))
0.6b	(cbrt.f64 t)
0.6b	(cbrt.f64 t)
7.1b	(sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (.f64 2 (.f64 (.f64 t (.f64 (*.f64 (cbrt.f64 (cbrt.f64 t)) (cbrt.f64 (cbrt.f64 t))) (cbrt.f64 (cbrt.f64 t)))) (pow.f64 (/.f64 (cbrt.f64 t) l) 2))))))
10.3b	(.f64 (.f64 t (.f64 (.f64 (cbrt.f64 (cbrt.f64 t)) (cbrt.f64 (cbrt.f64 t))) (cbrt.f64 (cbrt.f64 t)))) (pow.f64 (/.f64 (cbrt.f64 t) l) 2))

rewrite77.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

80×	`add-sqr-sqrt_binary64_100`
67×	`times-frac_binary64_84`
60×	`add-exp-log_binary64_116`
59×	`*-un-lft-identity_binary64_78`
48×	`sqrt-prod_binary64_94`
40×	`prod-exp_binary64_127`
38×	`add-cube-cbrt_binary64_113`
34×	`unpow-prod-down_binary64_157`
30×	`difference-of-squares_binary64_47`
27×	`associate-r_binary64_18`
15×	`cbrt-prod_binary64_109`
14×	`add-cbrt-cube_binary64_114`
10×	`cbrt-unprod_binary64_111`
8×	`pow-exp_binary64_146`
7×	`unpow2_binary64_143` `sqr-pow_binary64_50`
5×	`pow1_binary64_139`
4×	`pow-to-exp_binary64_147` `add-log-exp_binary64_117` `div-exp_binary64_129`
3×	`distribute-lft-out--_binary64_30`
2×	`rem-sqrt-square_binary64_91` `pow1/3_binary64_160` `div-inv_binary64_75` `associate-/r/_binary64_24`
1×	`-commutative_binary64_9` `associate-l*_binary64_19` `sqrt-pow1_binary64_96` `flip-+_binary64_52` `sqrt-div_binary64_95` `pow1/2_binary64_158` `flip3-+_binary64_81`

Counts

4 → 138

Calls

8 calls:

25.0ms	(.f64 (.f64 t (.f64 (.f64 (cbrt.f64 (cbrt.f64 t)) (cbrt.f64 (cbrt.f64 t))) (cbrt.f64 (cbrt.f64 t)))) (pow.f64 (/.f64 (cbrt.f64 t) l) 2))
20.0ms	(sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (.f64 2 (.f64 (.f64 t (.f64 (*.f64 (cbrt.f64 (cbrt.f64 t)) (cbrt.f64 (cbrt.f64 t))) (cbrt.f64 (cbrt.f64 t)))) (pow.f64 (/.f64 (cbrt.f64 t) l) 2))))))
1.0ms	(cbrt.f64 t)
1.0ms	(cbrt.f64 t)
0.0ms	(-.f64 1 (pow.f64 (/.f64 Om Omc) 2))

series2.0s (0.7%)

Counts

4 → 42

Calls

4 calls:

1.7s	(sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (.f64 2 (.f64 (.f64 t (.f64 (*.f64 (cbrt.f64 (cbrt.f64 t)) (cbrt.f64 (cbrt.f64 t))) (cbrt.f64 (cbrt.f64 t)))) (pow.f64 (/.f64 (cbrt.f64 t) l) 2))))))
112.0ms	(.f64 (.f64 t (.f64 (.f64 (cbrt.f64 (cbrt.f64 t)) (cbrt.f64 (cbrt.f64 t))) (cbrt.f64 (cbrt.f64 t)))) (pow.f64 (/.f64 (cbrt.f64 t) l) 2))
85.0ms	(cbrt.f64 t)
80.0ms	(cbrt.f64 t)

Compiler

Compiled 4747 to 4158 computations (12.4% saved)

simplify132.0ms (0%)

Algorithm

1×	egg-herbie

Counts

180 → 180

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4936	9639
1	4936	9639

localize33.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 (cbrt.f64 (.f64 (pow.f64 (/.f64 (cbrt.f64 t) l) 2) (pow.f64 t 4/3))) (cbrt.f64 (*.f64 (pow.f64 (/.f64 (cbrt.f64 t) l) 2) (pow.f64 t 4/3))))
0.1b	(.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 (/.f64 (cbrt.f64 t) l) 2) (pow.f64 t 4/3))) (cbrt.f64 (.f64 (pow.f64 (/.f64 (cbrt.f64 t) l) 2) (pow.f64 t 4/3)))) (cbrt.f64 (*.f64 (pow.f64 (/.f64 (cbrt.f64 t) l) 2) (pow.f64 t 4/3))))
0.0b	(/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (.f64 2 (.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 (/.f64 (cbrt.f64 t) l) 2) (pow.f64 t 4/3))) (cbrt.f64 (.f64 (pow.f64 (/.f64 (cbrt.f64 t) l) 2) (pow.f64 t 4/3)))) (cbrt.f64 (.f64 (pow.f64 (/.f64 (cbrt.f64 t) l) 2) (pow.f64 t 4/3)))))))
0.0b	(-.f64 1 (pow.f64 (/.f64 Om Omc) 2))
4.2b	(sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (.f64 2 (.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 (/.f64 (cbrt.f64 t) l) 2) (pow.f64 t 4/3))) (cbrt.f64 (.f64 (pow.f64 (/.f64 (cbrt.f64 t) l) 2) (pow.f64 t 4/3)))) (cbrt.f64 (.f64 (pow.f64 (/.f64 (cbrt.f64 t) l) 2) (pow.f64 t 4/3))))))))
16.2b	(cbrt.f64 (*.f64 (pow.f64 (/.f64 (cbrt.f64 t) l) 2) (pow.f64 t 4/3)))
16.2b	(cbrt.f64 (*.f64 (pow.f64 (/.f64 (cbrt.f64 t) l) 2) (pow.f64 t 4/3)))
16.2b	(cbrt.f64 (*.f64 (pow.f64 (/.f64 (cbrt.f64 t) l) 2) (pow.f64 t 4/3)))

rewrite66.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

64×	`add-sqr-sqrt_binary64_100`
49×	`times-frac_binary64_84`
48×	`sqrt-prod_binary64_94`
43×	`*-un-lft-identity_binary64_78`
30×	`difference-of-squares_binary64_47`
22×	`add-cube-cbrt_binary64_113`
12×	`unpow-prod-down_binary64_157`
6×	`unpow2_binary64_143` `sqr-pow_binary64_50`
5×	`pow1_binary64_139`
4×	`add-cbrt-cube_binary64_114` `add-log-exp_binary64_117` `add-exp-log_binary64_116`
3×	`distribute-lft-out--_binary64_30` `pow1/3_binary64_160` `cbrt-prod_binary64_109`
2×	`rem-sqrt-square_binary64_91` `associate-/r/_binary64_24`
1×	`sqrt-pow1_binary64_96` `flip-+_binary64_52` `div-inv_binary64_75` `sqrt-div_binary64_95` `pow1/2_binary64_158` `flip3-+_binary64_81`

Counts

4 → 87

Calls

8 calls:

17.0ms	(sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (.f64 2 (.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 (/.f64 (cbrt.f64 t) l) 2) (pow.f64 t 4/3))) (cbrt.f64 (.f64 (pow.f64 (/.f64 (cbrt.f64 t) l) 2) (pow.f64 t 4/3)))) (cbrt.f64 (.f64 (pow.f64 (/.f64 (cbrt.f64 t) l) 2) (pow.f64 t 4/3))))))))
8.0ms	(cbrt.f64 (*.f64 (pow.f64 (/.f64 (cbrt.f64 t) l) 2) (pow.f64 t 4/3)))
8.0ms	(cbrt.f64 (*.f64 (pow.f64 (/.f64 (cbrt.f64 t) l) 2) (pow.f64 t 4/3)))
8.0ms	(cbrt.f64 (*.f64 (pow.f64 (/.f64 (cbrt.f64 t) l) 2) (pow.f64 t 4/3)))
0.0ms	(-.f64 1 (pow.f64 (/.f64 Om Omc) 2))

series2.4s (0.8%)

Counts

4 → 48

Calls

4 calls:

1.5s	(sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (.f64 2 (.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 (/.f64 (cbrt.f64 t) l) 2) (pow.f64 t 4/3))) (cbrt.f64 (.f64 (pow.f64 (/.f64 (cbrt.f64 t) l) 2) (pow.f64 t 4/3)))) (cbrt.f64 (.f64 (pow.f64 (/.f64 (cbrt.f64 t) l) 2) (pow.f64 t 4/3))))))))
294.0ms	(cbrt.f64 (*.f64 (pow.f64 (/.f64 (cbrt.f64 t) l) 2) (pow.f64 t 4/3)))
286.0ms	(cbrt.f64 (*.f64 (pow.f64 (/.f64 (cbrt.f64 t) l) 2) (pow.f64 t 4/3)))
284.0ms	(cbrt.f64 (*.f64 (pow.f64 (/.f64 (cbrt.f64 t) l) 2) (pow.f64 t 4/3)))

Compiler

Compiled 5807 to 5045 computations (13.1% saved)

simplify105.0ms (0%)

Algorithm

1×	egg-herbie

Counts

135 → 135

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	5043	9253

prune38.0s (12.6%)

Pruning

763 alts after pruning (749 fresh and 14 done)

	Pruned	Kept	Total
New	466	153	619
Fresh	19	596	615
Picked	0	0	0
Done	0	14	14
Total	485	763	1248

Error

0.5b

Counts

1248 → 763

Compiler

Compiled 16802 to 11131 computations (33.8% saved)

simplify1.6s (0.5%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (21.0ms)

Iter	Nodes	Cost
0	7872	116694

regimes1.3min (26.3%)

Compiler: Compiled 1132996 to 879984 computations (22.3% saved)

bsearch114.0ms (0%)

Compiler: Compiled 3 to 5 computations (-66.7% saved)

regimes2.3s (0.8%)

Compiler: Compiled 22102 to 22173 computations (-0.3% saved)

bsearch3.0ms (0%)

Compiler: Compiled 3 to 5 computations (-66.7% saved)

regimes1.5s (0.5%)

Compiler: Compiled 13584 to 13729 computations (-1.1% saved)

bsearch2.0ms (0%)

Compiler: Compiled 3 to 5 computations (-66.7% saved)

regimes1.4s (0.4%)

Compiler: Compiled 12347 to 12474 computations (-1% saved)

bsearch2.0ms (0%)

Compiler: Compiled 3 to 5 computations (-66.7% saved)

regimes990.0ms (0.3%)

Compiler: Compiled 8061 to 8293 computations (-2.9% saved)

bsearch2.0ms (0%)

Compiler: Compiled 3 to 5 computations (-66.7% saved)

regimes1.1s (0.4%)

Compiler: Compiled 7448 to 7671 computations (-3% saved)

bsearch2.0ms (0%)

Compiler: Compiled 3 to 5 computations (-66.7% saved)

regimes753.0ms (0.2%)

Compiler: Compiled 6242 to 6548 computations (-4.9% saved)

bsearch1.0ms (0%)

Compiler: Compiled 3 to 5 computations (-66.7% saved)

regimes544.0ms (0.2%)

Compiler: Compiled 4695 to 4934 computations (-5.1% saved)

bsearch0.0ms (0%)

regimes321.0ms (0.1%)

Compiler: Compiled 2656 to 2811 computations (-5.8% saved)

bsearch0.0ms (0%)

regimes172.0ms (0.1%)

Compiler: Compiled 792 to 914 computations (-15.4% saved)

bsearch101.0ms (0%)

Steps

Iters	Range		Point
10	4.809456226565338e+102	7.73354957835277e+114	6.07791287533962e+114
7	-1.3611694912239582e+71	-8.590382537978968e+68	-1.0930739330951373e+70

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes193.0ms (0.1%)

Compiler: Compiled 770 to 926 computations (-20.3% saved)

bsearch76.0ms (0%)

Steps

Iters	Range		Point
8	4.1957781794574074e-132	5.2387794663835646e-129	4.2526083201266566e-132
7	-1.263586023278815e-78	-7.181784780839103e-80	-1.493781829556217e-79

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes158.0ms (0.1%)

Compiler: Compiled 523 to 686 computations (-31.2% saved)

bsearch74.0ms (0%)

Steps

Iters	Range		Point
8	4.1957781794574074e-132	5.2387794663835646e-129	5.275550852173152e-132
7	-1.263586023278815e-78	-7.181784780839103e-80	-7.290002181617712e-80

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes123.0ms (0%)

Compiler: Compiled 336 to 470 computations (-39.9% saved)

bsearch80.0ms (0%)

Steps

Iters	Range		Point
8	4.1957781794574074e-132	5.2387794663835646e-129	4.2526083201266566e-132
7	-1.263586023278815e-78	-7.181784780839103e-80	-7.290002181617712e-80

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes84.0ms (0%)

Compiler: Compiled 132 to 216 computations (-63.6% saved)

bsearch80.0ms (0%)

Steps

Iters	Range		Point
8	4.1957781794574074e-132	5.2387794663835646e-129	1.0144111720022664e-131
7	-1.263586023278815e-78	-7.181784780839103e-80	-7.290002181617712e-80

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes60.0ms (0%)

Accuracy

Total 0.5b remaining (47.7%)

Threshold costs 0.5b (47.7%)

Compiler

Compiled 16 to 72 computations (-350% saved)

bsearch111.0ms (0%)

Steps

Iters	Range		Point
9	9.84970333769317e-50	2.975672910007646e-44	2.740599975692102e-46
7	-1.263586023278815e-78	-7.181784780839103e-80	-1.6236427104905465e-79

Compiler

Compiled 635 to 475 computations (25.2% saved)

simplify12.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	287	942
1	287	942

end0.0ms (0%)

sample1.2min (23.5%)

Algorithm

1×

intervals

Results

748.0ms	8000×	body	128	valid
399.0ms	4640×	body	128	nan

Compiler

Compiled 75141 to 57871 computations (23% saved)

Pareto

0.30019103117839063