Details

Time bar (total: 1.7m)

sample439.0ms

Algorithm
intervals
Results
164.0ms494×body80nan
126.0ms294×body80valid

simplify253.0ms

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

prune35.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 34.2b

localize83.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)

rewrite446.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
196.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*))
99.0ms
(* (* U n) (- (- t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
17.0ms
(/ (* l 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*))))))
469.0ms
(* (* U n) (- (- t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
119.0ms
(* (* n (* (/ l Om) (/ l Om))) (- U U*))
33.0ms
(/ (* l l) Om)

simplify24.1s

Counts
135 → 168
Calls
135 calls:
Slowest
1.1s
(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*))))))))
866.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*))))))))
698.0ms
(sqrt (* 2 (* (* U n) (- (* (- (* t t) (* (* (/ (* l l) Om) 2) (* (/ (* l l) Om) 2))) (* (* Om Om) (+ U U*))) (* (+ t (* (/ (* l l) Om) 2)) (* (* n (* l l)) (- (* U U) (* U* U*))))))))
680.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))))))))
575.0ms
(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*)))))))

prune2.1s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 25.4b

localize40.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)))

rewrite261.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
94.0ms
(sqrt (* 2 (* (* U n) (- (- t (* (* l (/ l Om)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
72.0ms
(* (* U n) (- (- t (* (* l (/ l Om)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
71.0ms
(* (* n (* (/ l Om) (/ l Om))) (- U U*))
19.0ms
(* n (* (/ l Om) (/ l Om)))

series1.9s

Counts
4 → 12
Calls
4 calls:
Slowest
1.4s
(sqrt (* 2 (* (* U n) (- (- t (* (* l (/ l Om)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
334.0ms
(* (* U n) (- (- t (* (* l (/ l Om)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
107.0ms
(* (* n (* (/ l Om) (/ l Om))) (- U U*))
53.0ms
(* n (* (/ l Om) (/ l Om)))

simplify22.7s

Counts
141 → 175
Calls
141 calls:
Slowest
550.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))))))))
533.0ms
(* (+ (* t t) (+ (* (* (* l (/ l Om)) 2) (* (* l (/ l Om)) 2)) (* t (* (* l (/ l Om)) 2)))) (* (* Om Om) (+ (* U U) (+ (* U* U*) (* U U*)))))
480.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*))))))))
477.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*))))))))
470.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 (/ l Om))) (- U U*)))))))

prune2.2s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 24.9b

localize38.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)))

rewrite377.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
174.0ms
(sqrt (* 2 (* U (* n (- (- t (* (* l (/ l Om)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))))
110.0ms
(* U (* n (- (- t (* (* l (/ l Om)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
69.0ms
(* (* n (* (/ l Om) (/ l Om))) (- U U*))
20.0ms
(* n (* (/ l Om) (/ l Om)))

series1.8s

Counts
4 → 12
Calls
4 calls:
Slowest
1.3s
(sqrt (* 2 (* U (* n (- (- t (* (* l (/ l Om)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))))
317.0ms
(* U (* n (- (- t (* (* l (/ l Om)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
104.0ms
(* (* n (* (/ l Om) (/ l Om))) (- U U*))
47.0ms
(* n (* (/ l Om) (/ l Om)))

simplify23.3s

Counts
149 → 183
Calls
149 calls:
Slowest
518.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*))))))
506.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)))))))))
480.0ms
(* (* (* U U) U) (* (* (* n (- (- t (* (* l (/ l Om)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))) (* n (- (- t (* (* l (/ l Om)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))) (* n (- (- t (* (* l (/ l Om)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
478.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*))))))))
468.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 (/ l Om))) (- U U*))))))))

prune2.1s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 23.8b

localize45.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)

rewrite124.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
75.0ms
(sqrt (* 2 (+ (* (* (- t (* (* l (/ l Om)) 2)) n) U) (* (* (- (* (* (/ l Om) n) (* (/ l Om) n))) (- U U*)) U))))
29.0ms
(* (- (* (* (/ l Om) n) (* (/ l Om) n))) (- U U*))
8.0ms
(* (/ l Om) n)
8.0ms
(* (/ l Om) n)

series1.9s

Counts
4 → 12
Calls
4 calls:
Slowest
1.8s
(sqrt (* 2 (+ (* (* (- t (* (* l (/ l Om)) 2)) n) U) (* (* (- (* (* (/ l Om) n) (* (/ l Om) n))) (- U U*)) U))))
111.0ms
(* (- (* (* (/ l Om) n) (* (/ l Om) n))) (- U U*))
24.0ms
(* (/ l Om) n)
22.0ms
(* (/ l Om) n)

simplify9.8s

Counts
121 → 154
Calls
121 calls:
Slowest
518.0ms
(sqrt (* 2 (+ (pow (* (* (- t (* (* l (/ l Om)) 2)) n) U) 3) (pow (* (* (- (* (* (/ l Om) n) (* (/ l Om) n))) (- U U*)) U) 3))))
459.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)))))
395.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*)))
386.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)))))
383.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)))))

prune1.7s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 23.7b

regimes735.0ms

Accuracy

-8.7% (7.2b remaining)

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

bsearch198.0ms

end0.0ms

sample5.4s

Algorithm
intervals
Results
2.8s14972×body80nan
1.5s9150×body80valid