Details

Time bar (total: 7.1m)

sample254.0ms

Algorithm
intervals
Results
108.0ms460×body80nan
64.0ms295×body80valid

simplify226.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
226.0ms
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 36.5b

localize83.0ms

Local error

Found 4 expressions with local error:

21.2b
(sqrt (* 2 (* (* U n) (- (- t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
12.6b
(* (* U n) (- (- t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
9.3b
(/ (* l l) Om)
6.4b
(* (* n (* (/ l Om) (/ l Om))) (- U U*))

rewrite451.0ms

Algorithm
rewrite-expression-head
Rules
142×associate-*r/
45×frac-times
44×flip3-- frac-sub flip--
39×add-cbrt-cube add-exp-log
30×associate-*l/
28×pow1
24×sqrt-div
19×prod-exp cbrt-unprod
15×pow-prod-down
10×add-sqr-sqrt *-un-lft-identity
8×associate-*r* add-cube-cbrt
6×distribute-rgt-in cbrt-undiv sub-neg distribute-lft-in div-exp
4×sqrt-pow1 associate--l+ insert-posit16 add-log-exp
3×associate-/r* times-frac
2×associate-*l* *-commutative
1×clear-num frac-2neg pow1/2 sqrt-prod div-inv associate-/l* distribute-lft-out-- difference-of-squares
Counts
4 → 156
Calls
4 calls:
Slowest
186.0ms
(sqrt (* 2 (* (* U n) (- (- t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
125.0ms
(* (* n (* (/ l Om) (/ l Om))) (- U U*))
117.0ms
(* (* U n) (- (- t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
18.0ms
(/ (* l l) Om)

series3.0s

Counts
4 → 12
Calls
4 calls:
Slowest
2.3s
(sqrt (* 2 (* (* U n) (- (- t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
493.0ms
(* (* U n) (- (- t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
172.0ms
(* (* n (* (/ l Om) (/ l Om))) (- U U*))
26.0ms
(/ (* l l) Om)

simplify32.5s

Counts
135 → 168
Calls
135 calls:
Slowest
833.0ms
(sqrt (* 2 (* (* U n) (- (* (- (* t t) (* (* (/ (* l l) Om) 2) (* (/ (* l l) Om) 2))) (+ (* U U) (+ (* U* U*) (* U U*)))) (* (+ t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) (/ l Om))) (- (pow U 3) (pow U* 3))))))))
830.0ms
(sqrt (* 2 (* (* U n) (- (* (- (* t t) (* (* (/ (* l l) Om) 2) (* (/ (* l l) Om) 2))) (* Om (+ U U*))) (* (+ t (* (/ (* l l) Om) 2)) (* (* n (* l (/ l Om))) (- (* U U) (* U* U*))))))))
816.0ms
(- (/ (* U (* n (pow l 2))) (pow Om 2)) (/ (* n (* U* (pow l 2))) (pow Om 2)))
726.0ms
(sqrt (* 2 (* (* U n) (- (* (- (* t t) (* (* (/ (* l l) Om) 2) (* (/ (* l l) Om) 2))) (* Om (+ U U*))) (* (+ t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) l)) (- (* U U) (* U* U*))))))))
721.0ms
(sqrt (* 2 (* (* U n) (- (* (- (* t t) (* (* (/ (* l l) Om) 2) (* (/ (* l l) Om) 2))) (* Om Om)) (* (+ t (* (/ (* l l) Om) 2)) (* (* n (* l l)) (- U U*)))))))

prune3.3s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 25.8b

localize53.0ms

Local error

Found 4 expressions with local error:

21.2b
(sqrt (* 2 (* (* U n) (- (- t (* (* l (/ l Om)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
12.6b
(* (* U n) (- (- t (* (* l (/ l Om)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
6.4b
(* (* n (* (/ l Om) (/ l Om))) (- U U*))
4.2b
(* n (* (/ l Om) (/ l Om)))

rewrite467.0ms

Algorithm
rewrite-expression-head
Rules
146×associate-*r/
52×add-cbrt-cube add-exp-log
46×frac-times
44×flip3-- frac-sub flip--
33×pow1
31×associate-*l/
27×prod-exp cbrt-unprod
24×sqrt-div
18×pow-prod-down
10×add-sqr-sqrt
9×*-un-lft-identity associate-*r*
8×cbrt-undiv div-exp
7×add-cube-cbrt
6×distribute-rgt-in sub-neg distribute-lft-in
5×associate-*l*
4×sqrt-pow1 associate--l+ insert-posit16 add-log-exp
3×*-commutative
1×pow1/2 sqrt-prod distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 163
Calls
4 calls:
Slowest
158.0ms
(sqrt (* 2 (* (* U n) (- (- t (* (* l (/ l Om)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
147.0ms
(* (* n (* (/ l Om) (/ l Om))) (- U U*))
112.0ms
(* (* U n) (- (- t (* (* l (/ l Om)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
46.0ms
(* n (* (/ l Om) (/ l Om)))

series2.8s

Counts
4 → 12
Calls
4 calls:
Slowest
2.1s
(sqrt (* 2 (* (* U n) (- (- t (* (* l (/ l Om)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
453.0ms
(* (* U n) (- (- t (* (* l (/ l Om)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
132.0ms
(* (* n (* (/ l Om) (/ l Om))) (- U U*))
81.0ms
(* n (* (/ l Om) (/ l Om)))

simplify37.6s

Counts
141 → 175
Calls
141 calls:
Slowest
902.0ms
(sqrt (* 2 (* (* U n) (- (* (- (* t t) (* (* (* l (/ l Om)) 2) (* (* l (/ l Om)) 2))) (+ (* U U) (+ (* U* U*) (* U U*)))) (* (+ t (* (* l (/ l Om)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- (pow U 3) (pow U* 3))))))))
774.0ms
(sqrt (* 2 (* (* U n) (- (* (- (pow t 3) (pow (* (* l (/ l Om)) 2) 3)) Om) (* (+ (* t t) (+ (* (* (* l (/ l Om)) 2) (* (* l (/ l Om)) 2)) (* t (* (* l (/ l Om)) 2)))) (* (* n (* (/ l Om) l)) (- U U*)))))))
767.0ms
(sqrt (* 2 (* (* U n) (- (* (- (* t t) (* (* (* l (/ l Om)) 2) (* (* l (/ l Om)) 2))) (* Om (+ U U*))) (* (+ t (* (* l (/ l Om)) 2)) (* (* n (* (/ l Om) l)) (- (* U U) (* U* U*))))))))
765.0ms
(sqrt (* 2 (* (* U n) (- (* (- (* t t) (* (* (* l (/ l Om)) 2) (* (* l (/ l Om)) 2))) (* Om (+ U U*))) (* (+ t (* (* l (/ l Om)) 2)) (* (* n (* l (/ l Om))) (- (* U U) (* U* U*))))))))
719.0ms
(* (* (* n n) n) (* (* (* (/ l Om) (/ l Om)) (* (/ l Om) (/ l Om))) (* (/ l Om) (/ l Om))))

prune3.4s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 23.6b

localize64.0ms

Local error

Found 4 expressions with local error:

21.2b
(sqrt (* 2 (* (* U n) (- (- t (* (* l (/ l Om)) 2)) (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*))))))
12.6b
(* (* U n) (- (- t (* (* l (/ l Om)) 2)) (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*))))
8.1b
(/ n (/ Om l))
6.4b
(* (/ (/ n (/ Om l)) (/ Om l)) (- U U*))

rewrite350.0ms

Algorithm
rewrite-expression-head
Rules
1916×times-frac
843×add-sqr-sqrt
814×*-un-lft-identity
812×add-cube-cbrt
578×associate-*l*
102×div-inv
46×associate-*r/
43×add-cbrt-cube add-exp-log
22×flip3-- flip--
21×pow1
20×frac-sub
18×cbrt-undiv div-exp
15×associate-/r/
13×associate-/r*
12×sqrt-div
10×frac-times pow-prod-down prod-exp cbrt-unprod
8×associate-*r*
7×unswap-sqr
6×distribute-rgt-in sub-neg distribute-lft-in
5×associate-*l/
4×sqrt-pow1 associate--l+ insert-posit16 add-log-exp
3×associate-/l*
2×*-commutative
1×clear-num frac-2neg pow1/2 sqrt-prod distribute-lft-out-- difference-of-squares
Counts
4 → 758
Calls
4 calls:
Slowest
157.0ms
(sqrt (* 2 (* (* U n) (- (- t (* (* l (/ l Om)) 2)) (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*))))))
89.0ms
(* (* U n) (- (- t (* (* l (/ l Om)) 2)) (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*))))
52.0ms
(* (/ (/ n (/ Om l)) (/ Om l)) (- U U*))
12.0ms
(/ n (/ Om l))

series3.1s

Counts
4 → 12
Calls
4 calls:
Slowest
2.4s
(sqrt (* 2 (* (* U n) (- (- t (* (* l (/ l Om)) 2)) (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*))))))
471.0ms
(* (* U n) (- (- t (* (* l (/ l Om)) 2)) (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*))))
141.0ms
(* (/ (/ n (/ Om l)) (/ Om l)) (- U U*))
26.0ms
(/ n (/ Om l))

simplify2.5m

Counts
776 → 770
Calls
776 calls:
Slowest
904.0ms
(/ (/ (sqrt n) (/ (* (cbrt Om) (cbrt Om)) (* (cbrt l) (cbrt l)))) (/ 1 1))
866.0ms
(sqrt (* 2 (* (* U n) (- (* (- (* t t) (* (* (* l (/ l Om)) 2) (* (* l (/ l Om)) 2))) (+ U U*)) (* (+ t (* (* l (/ l Om)) 2)) (* (/ (/ n (/ Om l)) (/ Om l)) (- (* U U) (* U* U*))))))))
851.0ms
(/ (/ (* (cbrt n) (cbrt n)) (/ (sqrt Om) (* (cbrt l) (cbrt l)))) (/ (* (cbrt Om) (cbrt Om)) (* (cbrt l) (cbrt l))))
822.0ms
(sqrt (* 2 (* (* U n) (- (* (- (* t t) (* (* (* l (/ l Om)) 2) (* (* l (/ l Om)) 2))) (* (/ Om l) (+ U U*))) (* (+ t (* (* l (/ l Om)) 2)) (* (/ n (/ Om l)) (- (* U U) (* U* U*))))))))
790.0ms
(sqrt (* 2 (* (* U n) (- (* (- (pow t 3) (pow (* (* l (/ l Om)) 2) 3)) (/ Om l)) (* (+ (* t t) (+ (* (* (* l (/ l Om)) 2) (* (* l (/ l Om)) 2)) (* t (* (* l (/ l Om)) 2)))) (* (/ n (/ Om l)) (- U U*)))))))

prune16.1s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 23.0b

localize98.0ms

Local error

Found 4 expressions with local error:

21.2b
(sqrt (* 2 (+ (* (* U n) t) (* (* U (- (/ (* -2 l) (/ Om l)) (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*)))) n))))
8.4b
(* U (- (/ (* -2 l) (/ Om l)) (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*))))
8.1b
(/ n (/ Om l))
6.4b
(* (/ (/ n (/ Om l)) (/ Om l)) (- U U*))

rewrite214.0ms

Algorithm
rewrite-expression-head
Rules
1916×times-frac
846×add-sqr-sqrt
815×*-un-lft-identity
813×add-cube-cbrt
580×associate-*l*
102×div-inv
40×add-cbrt-cube add-exp-log
18×cbrt-undiv div-exp
15×associate-/r/
14×associate-*r/
13×associate-/r*
11×pow1
8×associate-*r* prod-exp cbrt-unprod unswap-sqr
5×flip3-- frac-sub flip--
4×distribute-rgt-in frac-times sub-neg distribute-lft-in insert-posit16 add-log-exp
3×pow-prod-down associate-*l/ associate-/l*
2×sqrt-pow1 sqrt-div *-commutative
1×clear-num frac-2neg flip3-+ pow1/2 sqrt-prod flip-+ distribute-lft-out-- sub-div difference-of-squares
Counts
4 → 738
Calls
4 calls:
Slowest
71.0ms
(* (/ (/ n (/ Om l)) (/ Om l)) (- U U*))
66.0ms
(* U (- (/ (* -2 l) (/ Om l)) (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*))))
23.0ms
(sqrt (* 2 (+ (* (* U n) t) (* (* U (- (/ (* -2 l) (/ Om l)) (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*)))) n))))
6.0ms
(/ n (/ Om l))

series2.8s

Counts
4 → 12
Calls
4 calls:
Slowest
2.3s
(sqrt (* 2 (+ (* (* U n) t) (* (* U (- (/ (* -2 l) (/ Om l)) (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*)))) n))))
235.0ms
(* U (- (/ (* -2 l) (/ Om l)) (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*))))
161.0ms
(* (/ (/ n (/ Om l)) (/ Om l)) (- U U*))
27.0ms
(/ n (/ Om l))

simplify2.4m

Counts
757 → 750
Calls
757 calls:
Slowest
949.0ms
(* (/ (* (* (/ n (/ Om l)) (/ n (/ Om l))) (/ n (/ Om l))) (* (* (/ Om l) (/ Om l)) (/ Om l))) (* (* (- U U*) (- U U*)) (- U U*)))
805.0ms
(/ (/ (* (cbrt n) (cbrt n)) (/ (sqrt Om) (* (cbrt l) (cbrt l)))) (/ (* (cbrt Om) (cbrt Om)) (* (cbrt l) (cbrt l))))
781.0ms
(/ (/ (* (cbrt n) (cbrt n)) 1) (/ (* (cbrt Om) (cbrt Om)) 1))
780.0ms
(/ (/ 1 (/ (* (cbrt Om) (cbrt Om)) (* (cbrt l) (cbrt l)))) (/ (* (cbrt Om) (cbrt Om)) (sqrt l)))
739.0ms
(sqrt (* 2 (+ (pow (* (* U n) t) 3) (pow (* (* U (- (/ (* -2 l) (/ Om l)) (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*)))) n) 3))))

prune16.2s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 21.5b

regimes1.5s

Accuracy

-3.4% (7.3b remaining)

Error of 28.4b against oracle of 21.1b and baseline of 28.1b

bsearch424.0ms

end0.0ms

sample8.4s

Algorithm
intervals
Results
4.3s14688×body80nan
2.7s9242×body80valid