Details

Time bar (total: 2.7m)

sample242.0ms

Algorithm
intervals
Results
112.0ms494×body80nan
84.0ms294×body80valid

simplify226.0ms

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

prune30.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 34.2b

localize85.0ms

Local error

Found 4 expressions with local error:

19.4b
(sqrt (* 2 (* (* U n) (- (- t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
11.5b
(* (* U n) (- (- t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
7.9b
(* (* n (* (/ l Om) (/ l Om))) (- U U*))
7.4b
(/ (* l l) Om)

rewrite474.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
175.0ms
(sqrt (* 2 (* (* U n) (- (- t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
145.0ms
(* (* U n) (- (- t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
129.0ms
(* (* n (* (/ l Om) (/ l Om))) (- U U*))
17.0ms
(/ (* l l) Om)

series2.7s

Counts
4 → 12
Calls
4 calls:
Slowest
2.0s
(sqrt (* 2 (* (* U n) (- (- t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
500.0ms
(* (* U n) (- (- t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
164.0ms
(* (* n (* (/ l Om) (/ l Om))) (- U U*))
36.0ms
(/ (* l l) Om)

simplify32.3s

Counts
135 → 168
Calls
135 calls:
Slowest
903.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))))))))
856.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*))))))))
735.0ms
(* (+ (* t t) (+ (* (* (/ (* l l) Om) 2) (* (/ (* l l) Om) 2)) (* t (* (/ (* l l) Om) 2)))) (+ (* U U) (+ (* U* U*) (* U U*))))
733.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*))))))))
718.0ms
(* (* (* (* n n) n) (* (/ (* (* l l) l) (* (* Om Om) Om)) (* (* (/ l Om) (/ l Om)) (/ l Om)))) (* (* (- U U*) (- U U*)) (- U U*)))

prune3.2s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 25.4b

localize70.0ms

Local error

Found 4 expressions with local error:

19.4b
(sqrt (* 2 (* (* U n) (- (- t (* (* l (/ l Om)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
11.5b
(* (* U n) (- (- t (* (* l (/ l Om)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
7.9b
(* (* n (* (/ l Om) (/ l Om))) (- U U*))
6.7b
(* n (* (/ l Om) (/ l Om)))

rewrite408.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
136.0ms
(sqrt (* 2 (* (* U n) (- (- t (* (* l (/ l Om)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
123.0ms
(* (* U n) (- (- t (* (* l (/ l Om)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
115.0ms
(* (* n (* (/ l Om) (/ l Om))) (- U U*))
27.0ms
(* n (* (/ l Om) (/ l Om)))

series2.7s

Counts
4 → 12
Calls
4 calls:
Slowest
2.0s
(sqrt (* 2 (* (* U n) (- (- t (* (* l (/ l Om)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
429.0ms
(* (* U n) (- (- t (* (* l (/ l Om)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
129.0ms
(* (* n (* (/ l Om) (/ l Om))) (- U U*))
81.0ms
(* n (* (/ l Om) (/ l Om)))

simplify37.6s

Counts
141 → 175
Calls
141 calls:
Slowest
1.1s
(sqrt (* 2 (* (* U n) (- (* (- (pow t 3) (pow (* (* l (/ l Om)) 2) 3)) (* Om Om)) (* (+ (* t t) (+ (* (* (* l (/ l Om)) 2) (* (* l (/ l Om)) 2)) (* t (* (* l (/ l Om)) 2)))) (* (* n (* l l)) (- U U*)))))))
954.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))))))))
852.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*)))))))
778.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*))))))))
759.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*))))))))

prune3.4s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 24.9b

localize55.0ms

Local error

Found 4 expressions with local error:

19.4b
(sqrt (* 2 (* U (* n (- (- t (* (* l (/ l Om)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))))
7.9b
(* (* n (* (/ l Om) (/ l Om))) (- U U*))
7.0b
(* U (* n (- (- t (* (* l (/ l Om)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
6.7b
(* n (* (/ l Om) (/ l Om)))

rewrite631.0ms

Algorithm
rewrite-expression-head
Rules
194×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×distribute-rgt-in distribute-lft-in pow-prod-down
10×add-sqr-sqrt sub-neg
9×*-un-lft-identity
8×cbrt-undiv div-exp associate--l+
7×associate-*r* associate-*l* add-cube-cbrt
4×sqrt-pow1 insert-posit16 add-log-exp
3×*-commutative
1×pow1/2 sqrt-prod distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 171
Calls
4 calls:
Slowest
289.0ms
(sqrt (* 2 (* U (* n (- (- t (* (* l (/ l Om)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))))
189.0ms
(* U (* n (- (- t (* (* l (/ l Om)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
102.0ms
(* (* n (* (/ l Om) (/ l Om))) (- U U*))
43.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*)))))
156.0ms
(* (* n (* (/ l Om) (/ l Om))) (- U U*))
52.0ms
(* n (* (/ l Om) (/ l Om)))

simplify40.8s

Counts
149 → 183
Calls
149 calls:
Slowest
1.0s
(* (* (* n n) n) (* (* (* (/ l Om) (/ l Om)) (* (/ l Om) (/ l Om))) (* (/ l Om) (/ l Om))))
930.0ms
(sqrt (* 2 (* U (* n (- (* (- t (* (* l (/ l Om)) 2)) (- t (* (* l (/ l Om)) 2))) (* (* (* n (* (/ l Om) (/ l Om))) (- U U*)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))))
874.0ms
(* (* (* U U) U) (* (* (* n n) n) (* (* (- (- t (* (* l (/ l Om)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))) (- (- t (* (* l (/ l Om)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))) (- (- t (* (* l (/ l Om)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
841.0ms
(sqrt (* 2 (* U (* n (- (* (- (* t t) (* (* (* l (/ l Om)) 2) (* (* l (/ l Om)) 2))) (* Om (+ (* U U) (+ (* U* U*) (* U U*))))) (* (+ t (* (* l (/ l Om)) 2)) (* (* n (* l (/ l Om))) (- (pow U 3) (pow U* 3)))))))))
829.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)))))))))

prune3.4s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 23.8b

localize84.0ms

Local error

Found 4 expressions with local error:

19.4b
(sqrt (* 2 (+ (* (* (- t (* (* l (/ l Om)) 2)) n) U) (* (* (- (* (* (/ l Om) n) (* (/ l Om) n))) (- U U*)) U))))
7.4b
(* (- (* (* (/ l Om) n) (* (/ l Om) n))) (- U U*))
6.8b
(* (/ l Om) n)
6.8b
(* (/ l Om) n)

rewrite190.0ms

Algorithm
rewrite-expression-head
Rules
122×associate-*l/
39×associate-*r/
36×add-sqr-sqrt
32×associate-*l*
27×frac-times distribute-neg-frac
24×*-un-lft-identity sqrt-div
23×flip3-- flip--
22×frac-add add-cube-cbrt
20×times-frac
16×add-cbrt-cube add-exp-log
13×pow1
11×associate-*r*
5×prod-exp cbrt-unprod unswap-sqr
4×pow-prod-down insert-posit16 add-log-exp
3×*-commutative
2×distribute-rgt-in cbrt-undiv sub-neg distribute-lft-in sqrt-pow1 div-exp div-inv
1×distribute-lft-neg-out distribute-lft-neg-in neg-mul-1 distribute-rgt-neg-in flip3-+ pow1/2 sqrt-prod flip-+ distribute-lft-out-- difference-of-squares
Counts
4 → 142
Calls
4 calls:
Slowest
112.0ms
(sqrt (* 2 (+ (* (* (- t (* (* l (/ l Om)) 2)) n) U) (* (* (- (* (* (/ l Om) n) (* (/ l Om) n))) (- U U*)) U))))
36.0ms
(* (- (* (* (/ l Om) n) (* (/ l Om) n))) (- U U*))
19.0ms
(* (/ l Om) n)
17.0ms
(* (/ l Om) n)

series2.8s

Counts
4 → 12
Calls
4 calls:
Slowest
2.6s
(sqrt (* 2 (+ (* (* (- t (* (* l (/ l Om)) 2)) n) U) (* (* (- (* (* (/ l Om) n) (* (/ l Om) n))) (- U U*)) U))))
174.0ms
(* (- (* (* (/ l Om) n) (* (/ l Om) n))) (- U U*))
30.0ms
(* (/ l Om) n)
28.0ms
(* (/ l Om) n)

simplify15.8s

Counts
121 → 154
Calls
121 calls:
Slowest
904.0ms
(sqrt (* 2 (+ (pow (* (* (- t (* (* l (/ l Om)) 2)) n) U) 3) (pow (* (* (- (* (* (/ l Om) n) (* (/ l Om) n))) (- U U*)) U) 3))))
721.0ms
(sqrt (* 2 (+ (* (* (* (- (* t t) (* (* (* l (/ l Om)) 2) (* (* l (/ l Om)) 2))) n) U) Om) (* (+ t (* (* l (/ l Om)) 2)) (* (* (- (* (* l n) (* (/ l Om) n))) (- U U*)) U)))))
705.0ms
(sqrt (* 2 (- (* (* (* (- t (* (* l (/ l Om)) 2)) n) U) (* (* (- t (* (* l (/ l Om)) 2)) n) U)) (* (* (* (- (* (* (/ l Om) n) (* (/ l Om) n))) (- U U*)) U) (* (* (- (* (* (/ l Om) n) (* (/ l Om) n))) (- U U*)) U)))))
694.0ms
(sqrt (* 2 (+ (* (* (* (- (* t t) (* (* (* l (/ l Om)) 2) (* (* l (/ l Om)) 2))) n) U) Om) (* (+ t (* (* l (/ l Om)) 2)) (* (* (- (* (* (/ l Om) n) (* l n))) (- U U*)) U)))))
617.0ms
(* (* (* (- (* (* (/ l Om) n) (* (/ l Om) n))) (- (* (* (/ l Om) n) (* (/ l Om) n)))) (- (* (* (/ l Om) n) (* (/ l Om) n)))) (* (* (- U U*) (- U U*)) (- U U*)))

prune3.3s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 23.7b

regimes1.2s

Accuracy

-8.7% (7.2b remaining)

Error of 29.9b against oracle of 22.7b and baseline of 29.3b

bsearch338.0ms

end0.0ms

sample8.8s

Algorithm
intervals
Results
4.3s14972×body80nan
2.6s9150×body80valid