Details

Time bar (total: 2.8m)

sample258.0ms

Algorithm
intervals
Results
107.0ms420×body80nan
88.0ms284×body80valid

simplify204.0ms

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

prune29.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 36.5b

localize67.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*))

rewrite52.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
19.0ms
(* (* 2 (* U n)) (- (fma -2 (/ (* l l) Om) t) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
18.0ms
(* (* n (* (/ l Om) (/ l Om))) (- U U*))
10.0ms
(sqrt (* (* 2 (* U n)) (- (fma -2 (/ (* l l) Om) t) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
3.0ms
(/ (* l l) Om)

series2.3s

Calls
4 calls:
Slowest
1.8s
(sqrt (* (* 2 (* U n)) (- (fma -2 (/ (* l l) Om) t) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
373.0ms
(* (* 2 (* U n)) (- (fma -2 (/ (* l l) Om) t) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
139.0ms
(* (* n (* (/ l Om) (/ l Om))) (- U U*))
16.0ms
(/ (* l l) Om)

simplify27.0s

Calls
62 calls:
Slowest
2.8s
(* (* n (* (/ l Om) l)) (- (* U U) (* U* U*)))
1.4s
(* (* n (* (/ l Om) l)) (- (pow U 3) (pow U* 3)))
1.2s
(+ (* (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*))) (* (fma -2 (/ (* l l) Om) t) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
1.2s
(+ (fma -2 (/ (* l l) Om) t) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))
1.1s
(- (/ (* U (* n (pow l 2))) (pow Om 2)) (/ (* n (* U* (pow l 2))) (pow Om 2)))

prune2.8s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 26.8b

localize59.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*))

rewrite125.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
48.0ms
(* (* (* (/ l Om) (/ l Om)) (- U U*)) n)
37.0ms
(* (* n U) (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (* (/ l Om) (/ l Om)) (- U U*)) n)))))
21.0ms
(* (* (/ l Om) (/ l Om)) (- U U*))
16.0ms
(sqrt (pow (* (* n U) (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (* (/ l Om) (/ l Om)) (- U U*)) n))))) 1))

series2.3s

Calls
4 calls:
Slowest
1.8s
(sqrt (pow (* (* n U) (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (* (/ l Om) (/ l Om)) (- U U*)) n))))) 1))
381.0ms
(* (* n U) (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (* (/ l Om) (/ l Om)) (- U U*)) n)))))
97.0ms
(* (* (* (/ l Om) (/ l Om)) (- U U*)) n)
64.0ms
(* (* (/ l Om) (/ l Om)) (- U U*))

simplify41.8s

Calls
72 calls:
Slowest
3.5s
(* (* (* (/ l Om) l) (- (* U U) (* U* U*))) n)
2.3s
(* (* (* (/ l Om) (/ l Om)) (- (* U U) (* U* U*))) n)
2.2s
(* (* (* (* 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))))))
2.2s
(* Om (+ t (* (* (* (/ l Om) (/ l Om)) (- U U*)) n)))
1.8s
(* (* (* l (/ l Om)) (- (* U U) (* U* U*))) n)

prune4.5s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 21.9b

localize185.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*))

rewrite152.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
54.0ms
(* (* (/ l Om) (* (/ l Om) (- U U*))) n)
51.0ms
(sqrt (pow (* (* n U) (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n))))) 1))
35.0ms
(* (* n U) (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n)))))
9.0ms
(* (/ l Om) (- U U*))

series2.5s

Calls
4 calls:
Slowest
1.9s
(sqrt (pow (* (* n U) (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n))))) 1))
490.0ms
(* (* n U) (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n)))))
96.0ms
(* (* (/ l Om) (* (/ l Om) (- U U*))) n)
56.0ms
(* (/ l Om) (- U U*))

simplify20.6s

Calls
60 calls:
Slowest
2.2s
(* (* (* (* 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))))))
1.1s
(- (+ (* 2 (* t (* U n))) (* 2 (/ (* U (* (pow n 2) (* U* (pow l 2)))) (pow Om 2)))) (* 2 (/ (* (pow U 2) (* (pow n 2) (pow l 2))) (pow Om 2))))
984.0ms
(* (* l (* (/ l Om) (- (pow U 3) (pow U* 3)))) n)
980.0ms
(- (/ (* U (* n (pow l 2))) (pow Om 2)) (/ (* n (* U* (pow l 2))) (pow Om 2)))
913.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)))))

prune4.0s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 21.9b

localize115.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*))

rewrite214.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
101.0ms
(sqrt (pow (* n (* U (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n)))))) 1))
51.0ms
(* (* (/ l Om) (* (/ l Om) (- U U*))) n)
50.0ms
(* n (* U (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n))))))
9.0ms
(* (/ l Om) (- U U*))

series3.1s

Calls
4 calls:
Slowest
2.5s
(sqrt (pow (* n (* U (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n)))))) 1))
391.0ms
(* n (* U (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n))))))
131.0ms
(* (/ l Om) (- U U*))
89.0ms
(* (* (/ l Om) (* (/ l Om) (- U U*))) n)

simplify25.1s

Calls
61 calls:
Slowest
1.6s
(* (* (/ l Om) (* l (- (pow U 3) (pow U* 3)))) n)
1.4s
(sqrt (sqrt (pow (* n (* U (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n)))))) 1)))
1.4s
(+ (* (* (/ 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)))))
1.3s
(* (* (/ l Om) (* l (- (* U U) (* U* U*)))) n)
1.2s
(* (* l (* (/ l Om) (- (pow U 3) (pow U* 3)))) n)

prune4.5s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 17.3b

regimes4.6s

Accuracy

21.2% (9.0b remaining)

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

bsearch892.0ms

end0.0ms

sample18.8s

Algorithm
intervals
Results
9.3s14887×body80nan
7.9s9166×body80valid