Details

Time bar (total: 22.6s)

sample88.0ms

Algorithm
intervals
Results
32.0ms233×body80nan
18.0ms120×body160valid
12.0ms136×body80valid

simplify1.0s

Counts
1 → 1
Iterations
IterNodes
done5001
51551
4277
3101
249
129
016

prune25.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 10.8b

localize51.0ms

Local error

Found 4 expressions with local error:

0.2b
(pow (/ t l) 2.0)
0.4b
(/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
0.4b
(asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
9.8b
(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))

rewrite127.0ms

Algorithm
rewrite-expression-head
Rules
96×add-sqr-sqrt
65×times-frac
51×*-un-lft-identity
37×add-cube-cbrt
30×sqrt-prod
28×difference-of-squares
27×unpow-prod-down
9×add-exp-log
8×associate-/l* sqr-pow
7×distribute-lft-out--
6×pow1 add-cbrt-cube
4×associate-/r/ add-log-exp
3×pow-unpow associate-/r* div-inv
2×rem-sqrt-square flip3-+ div-exp pow-exp flip-+ associate-/l/
1×pow-to-exp cbrt-undiv asin-acos clear-num pow-pow frac-2neg sqrt-pow1 flip3-- pow1/2 sqrt-div div-sub flip--
Counts
4 → 130
Calls
4 calls:
9.0ms
(pow (/ t l) 2.0)
74.0ms
(/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
1.0ms
(asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
33.0ms
(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))

series1.3s

Counts
4 → 12
Calls
4 calls:
76.0ms
(pow (/ t l) 2.0)
701.0ms
(/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
20.0ms
(asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
495.0ms
(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))

simplify1.1s

Counts
142 → 142
Iterations
IterNodes
done5000
22435
1755
0317

prune1.1s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 10.7b

localize82.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ (- 1.0 (pow (/ Om Omc) 2.0)) (sqrt (+ 1.0 (* (pow (/ t l) 2.0) 2.0))))
9.8b
(sqrt (/ (/ (- 1.0 (pow (/ Om Omc) 2.0)) (sqrt (+ 1.0 (* (pow (/ t l) 2.0) 2.0)))) (sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
9.9b
(sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
9.9b
(sqrt (+ 1.0 (* (pow (/ t l) 2.0) 2.0)))

rewrite225.0ms

Algorithm
rewrite-expression-head
Rules
713×times-frac
674×sqrt-prod
641×add-sqr-sqrt
364×*-un-lft-identity
278×add-cube-cbrt
172×difference-of-squares
86×unpow-prod-down
43×distribute-lft-out-- sqr-pow
21×sqrt-div
16×associate-/r/
10×flip3-+ flip-+
9×rem-sqrt-square
8×div-inv associate-/l*
7×pow1
6×associate-/r* add-cbrt-cube add-exp-log
4×add-log-exp
3×sqrt-pow1 pow1/2
2×associate-/l/
1×cbrt-undiv clear-num frac-2neg flip3-- div-sub div-exp flip--
Counts
4 → 456
Calls
4 calls:
70.0ms
(/ (- 1.0 (pow (/ Om Omc) 2.0)) (sqrt (+ 1.0 (* (pow (/ t l) 2.0) 2.0))))
99.0ms
(sqrt (/ (/ (- 1.0 (pow (/ Om Omc) 2.0)) (sqrt (+ 1.0 (* (pow (/ t l) 2.0) 2.0)))) (sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
4.0ms
(sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
5.0ms
(sqrt (+ 1.0 (* (pow (/ t l) 2.0) 2.0)))

series1.6s

Counts
4 → 12
Calls
4 calls:
507.0ms
(/ (- 1.0 (pow (/ Om Omc) 2.0)) (sqrt (+ 1.0 (* (pow (/ t l) 2.0) 2.0))))
546.0ms
(sqrt (/ (/ (- 1.0 (pow (/ Om Omc) 2.0)) (sqrt (+ 1.0 (* (pow (/ t l) 2.0) 2.0)))) (sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
278.0ms
(sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
277.0ms
(sqrt (+ 1.0 (* (pow (/ t l) 2.0) 2.0)))

simplify980.0ms

Counts
468 → 468
Iterations
IterNodes
done5000
11703
0906

prune3.0s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 10.7b

localize124.0ms

Local error

Found 4 expressions with local error:

9.9b
(sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
9.9b
(sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
13.9b
(cbrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
13.9b
(cbrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
8×*-un-lft-identity add-cube-cbrt
6×cbrt-prod pow1 sqrt-prod
4×cbrt-div flip3-+ add-cbrt-cube sqrt-div add-exp-log flip-+ add-log-exp
2×rem-sqrt-square sqrt-pow1 pow1/2 pow1/3
Counts
4 → 56
Calls
4 calls:
6.0ms
(sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
4.0ms
(sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
2.0ms
(cbrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
2.0ms
(cbrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))

series1.3s

Counts
4 → 12
Calls
4 calls:
257.0ms
(sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
272.0ms
(sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
375.0ms
(cbrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
354.0ms
(cbrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))

simplify1.7s

Counts
68 → 68
Iterations
IterNodes
done5001
33901
2658
1195
086

prune1.1s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 10.7b

localize181.0ms

Local error

Found 4 expressions with local error:

9.9b
(sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
9.9b
(sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
9.9b
(sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
9.9b
(sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt sqrt-prod
8×pow1 *-un-lft-identity sqrt-div add-cube-cbrt
4×rem-sqrt-square sqrt-pow1 flip3-+ add-cbrt-cube pow1/2 add-exp-log flip-+ add-log-exp
Counts
4 → 60
Calls
4 calls:
7.0ms
(sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
5.0ms
(sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
7.0ms
(sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
7.0ms
(sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))

series918.0ms

Counts
4 → 12
Calls
4 calls:
220.0ms
(sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
203.0ms
(sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
230.0ms
(sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
265.0ms
(sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))

simplify795.0ms

Counts
72 → 72
Iterations
IterNodes
done5000
32388
2455
1141
060

prune744.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 10.7b

regimes1.4s

Accuracy

0% (0.1b remaining)

Error of 10.3b against oracle of 10.2b and baseline of 10.3b

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done23
123
021

end0.0ms

sample3.6s

Algorithm
intervals
Results
1.4s8095×body80nan
995.0ms3806×body160valid
564.0ms4194×body80valid