Details

Time bar (total: 55.3s)

sample329.0ms

Algorithm
intervals
Results
130.0ms284×body80valid
84.0ms420×body80nan

simplify157.0ms

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

prune23.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 36.5b

localize39.0ms

Local error

Found 4 expressions with local error:

20.1b
(sqrt (* (* 2 (* U n)) (- (fma -2 (/ (* l l) Om) t) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
11.0b
(* (* 2 (* U n)) (- (fma -2 (/ (* l l) Om) t) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
9.3b
(/ (* l l) Om)
7.1b
(* (* n (* (/ l Om) (/ l Om))) (- U U*))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
18×associate-*r/
9×frac-times
8×distribute-rgt-in add-sqr-sqrt pow1 *-un-lft-identity distribute-lft-in add-cbrt-cube add-exp-log add-cube-cbrt
6×flip3-- associate-*r* prod-diff associate-*l/ flip--
4×expm1-log1p-u sub-neg insert-posit16 log1p-expm1-u add-log-exp
2×sqrt-div associate-*l* pow-prod-down prod-exp associate--l+ *-commutative cbrt-unprod fma-udef
1×clear-num frac-2neg pow1/2 sqrt-prod div-inv associate-/l*
Calls
4 calls:
Slowest
21.0ms
(* (* 2 (* U n)) (- (fma -2 (/ (* l l) Om) t) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
9.0ms
(* (* n (* (/ l Om) (/ l Om))) (- U U*))
8.0ms
(sqrt (* (* 2 (* U n)) (- (fma -2 (/ (* l l) Om) t) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
3.0ms
(/ (* l l) Om)

series2.0s

Calls
4 calls:
Slowest
1.5s
(sqrt (* (* 2 (* U n)) (- (fma -2 (/ (* l l) Om) t) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
384.0ms
(* (* 2 (* U n)) (- (fma -2 (/ (* l l) Om) t) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
93.0ms
(* (* n (* (/ l Om) (/ l Om))) (- U U*))
16.0ms
(/ (* l l) Om)

simplify11.0s

Calls
62 calls:
Slowest
589.0ms
(* (* (* (* 2 (* U n)) (* 2 (* U n))) (* 2 (* U n))) (* (* (- (fma -2 (/ (* l l) Om) t) (* (* n (* (/ l Om) (/ l Om))) (- U U*))) (- (fma -2 (/ (* l l) Om) t) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))) (- (fma -2 (/ (* l l) Om) t) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
515.0ms
(sqrt (* (* 2 (* U n)) (- (pow (fma -2 (/ (* l l) Om) t) 3) (pow (* (* n (* (/ l Om) (/ l Om))) (- U U*)) 3))))
498.0ms
(* (* n (* l (/ l Om))) (- (* U U) (* U* U*)))
434.0ms
(* (* n (* (/ l Om) l)) (- (* U U) (* U* U*)))
383.0ms
(sqrt (* (* 2 (* U n)) (- (* (fma -2 (/ (* l l) Om) t) (fma -2 (/ (* l l) Om) t)) (* (* (* n (* (/ l Om) (/ l Om))) (- U U*)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))

prune1.2s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 26.8b

localize33.0ms

Local error

Found 4 expressions with local error:

20.1b
(sqrt (pow (* (* n U) (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (* (/ l Om) (/ l Om)) (- U U*)) n))))) 1))
11.0b
(* (* n U) (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (* (/ l Om) (/ l Om)) (- U U*)) n)))))
6.6b
(* (* (* (/ l Om) (/ l Om)) (- U U*)) n)
6.0b
(* (* (/ l Om) (/ l Om)) (- U U*))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
25×associate-*l/
18×frac-times associate-*r/
11×pow1 add-cbrt-cube add-exp-log
9×flip3-- flip--
7×add-sqr-sqrt
6×distribute-rgt-in *-un-lft-identity distribute-lft-in add-cube-cbrt
4×expm1-log1p-u associate-*r* pow-prod-down prod-exp sqrt-prod cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
3×associate-*l* *-commutative
2×sub-neg frac-add
1×rem-sqrt-square unpow-prod-down flip3-+ pow1/2 flip-+
Calls
4 calls:
Slowest
24.0ms
(* (* (* (/ l Om) (/ l Om)) (- U U*)) n)
17.0ms
(* (* n U) (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (* (/ l Om) (/ l Om)) (- U U*)) n)))))
12.0ms
(* (* (/ l Om) (/ l Om)) (- U U*))
8.0ms
(sqrt (pow (* (* n U) (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (* (/ l Om) (/ l Om)) (- U U*)) n))))) 1))

series1.2s

Calls
4 calls:
Slowest
875.0ms
(sqrt (pow (* (* n U) (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (* (/ l Om) (/ l Om)) (- U U*)) n))))) 1))
219.0ms
(* (* n U) (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (* (/ l Om) (/ l Om)) (- U U*)) n)))))
56.0ms
(* (* (* (/ l Om) (/ l Om)) (- U U*)) n)
38.0ms
(* (* (/ l Om) (/ l Om)) (- U U*))

simplify11.6s

Calls
72 calls:
Slowest
664.0ms
(* (* (* (* n U) (* n U)) (* n U)) (* (* (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (* (/ l Om) (/ l Om)) (- U U*)) n)))) (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (* (/ l Om) (/ l Om)) (- U U*)) n))))) (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (* (/ l Om) (/ l Om)) (- U U*)) n))))))
432.0ms
(* (* (* (/ l Om) (/ l Om)) (- (* U U) (* U* U*))) n)
419.0ms
(* (* n U) (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (* (/ l Om) (/ l Om)) (- U U*)) n)))))
387.0ms
(* (* (* l (/ l Om)) (- (* U U) (* U* U*))) n)
384.0ms
(* (* (* (/ l Om) l) (- (* U U) (* U* U*))) n)

prune1.3s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 21.9b

localize24.0ms

Local error

Found 4 expressions with local error:

20.1b
(sqrt (pow (* (* n U) (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n))))) 1))
11.0b
(* (* n U) (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n)))))
6.6b
(* (* (/ l Om) (* (/ l Om) (- U U*))) n)
5.0b
(* (/ l Om) (- U U*))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
19×associate-*r/
17×associate-*l/
11×frac-times
8×add-sqr-sqrt pow1 add-cbrt-cube add-exp-log
7×*-un-lft-identity flip3-- add-cube-cbrt flip--
6×distribute-rgt-in distribute-lft-in associate-*l*
4×expm1-log1p-u associate-*r* sqrt-prod insert-posit16 log1p-expm1-u add-log-exp
3×*-commutative
2×sub-neg pow-prod-down frac-add prod-exp cbrt-unprod
1×rem-sqrt-square unpow-prod-down flip3-+ pow1/2 flip-+ div-inv
Calls
4 calls:
Slowest
26.0ms
(* (* (/ l Om) (* (/ l Om) (- U U*))) n)
17.0ms
(* (* n U) (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n)))))
8.0ms
(sqrt (pow (* (* n U) (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n))))) 1))
4.0ms
(* (/ l Om) (- U U*))

series1.1s

Calls
4 calls:
Slowest
848.0ms
(sqrt (pow (* (* n U) (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n))))) 1))
213.0ms
(* (* n U) (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n)))))
54.0ms
(* (* (/ l Om) (* (/ l Om) (- U U*))) n)
32.0ms
(* (/ l Om) (- U U*))

simplify7.7s

Calls
60 calls:
Slowest
762.0ms
(* (* (* (* n U) (* n U)) (* n U)) (* (* (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n)))) (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n))))) (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n))))))
482.0ms
(+ (* (* (/ l Om) (* -2 l)) (* (/ l Om) (* -2 l))) (- (* (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n))) (* (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n)))))
377.0ms
(* (* l (* (/ l Om) (- (* U U) (* U* U*)))) n)
356.0ms
(* (* (/ l Om) (* l (- (* U U) (* U* U*)))) n)
308.0ms
(* (* (/ l Om) (* (/ l Om) (- (pow U 3) (pow U* 3)))) n)

prune1.3s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 21.9b

localize11.0ms

Local error

Found 4 expressions with local error:

20.1b
(sqrt (pow (* n (* U (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n)))))) 1))
6.9b
(* n (* U (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n))))))
6.6b
(* (* (/ l Om) (* (/ l Om) (- U U*))) n)
5.0b
(* (/ l Om) (- U U*))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
23×associate-*r/
17×associate-*l/
14×distribute-rgt-in distribute-lft-in
11×frac-times
8×add-sqr-sqrt
7×*-un-lft-identity flip3-- add-cube-cbrt flip--
6×pow1 add-cbrt-cube add-exp-log
5×associate-*l*
4×expm1-log1p-u associate-*r* sqrt-prod insert-posit16 log1p-expm1-u add-log-exp
3×*-commutative
2×sub-neg frac-add
1×rem-sqrt-square unpow-prod-down flip3-+ pow1/2 pow-prod-down prod-exp cbrt-unprod flip-+ div-inv
Calls
4 calls:
Slowest
24.0ms
(* (* (/ l Om) (* (/ l Om) (- U U*))) n)
22.0ms
(* n (* U (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n))))))
13.0ms
(sqrt (pow (* n (* U (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n)))))) 1))
4.0ms
(* (/ l Om) (- U U*))

series1.5s

Calls
4 calls:
Slowest
1.1s
(sqrt (pow (* n (* U (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n)))))) 1))
292.0ms
(* n (* U (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n))))))
72.0ms
(* (* (/ l Om) (* (/ l Om) (- U U*))) n)
44.0ms
(* (/ l Om) (- U U*))

simplify6.7s

Calls
61 calls:
Slowest
382.0ms
(* (* l (* (/ l Om) (- (* U U) (* U* U*)))) n)
346.0ms
(* (* (/ l Om) (* l (- (* U U) (* U* U*)))) n)
301.0ms
(* (* (/ l Om) (* (/ l Om) (- (pow U 3) (pow U* 3)))) n)
248.0ms
(sqrt (* (cbrt (pow (* n (* U (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n)))))) 1)) (cbrt (pow (* n (* U (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n)))))) 1))))
247.0ms
(+ (* (* (/ l Om) (* -2 l)) (* (/ l Om) (* -2 l))) (- (* (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n))) (* (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n)))))

prune1.2s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 17.3b

regimes1.2s

Accuracy

21.2% (9.0b remaining)

Error of 27.3b against oracle of 18.3b and baseline of 29.8b

bsearch418.0ms

end0.0ms

sample5.0s

Algorithm
intervals
Results
2.4s14887×body80nan
2.1s9166×body80valid