Details

Time bar (total: 3.0m)

sample213.0ms

Algorithm
intervals
Results
82.0ms480×body80nan
68.0ms294×body80valid

simplify198.0ms

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

prune40.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 30.9b

localize81.0ms

Local error

Found 4 expressions with local error:

20.3b
(sqrt (* 2 (* U (* n (- (fma (/ (* l l) Om) -2 t) (* n (* (* (/ l Om) (/ l Om)) (- U U*))))))))
8.4b
(* (* (/ l Om) (/ l Om)) (- U U*))
8.4b
(/ (* l l) Om)
7.1b
(* n (* (* (/ l Om) (/ l Om)) (- U U*)))

rewrite307.0ms

Algorithm
rewrite-expression-head
Rules
55×distribute-rgt-in distribute-lft-in
54×prod-diff
52×add-cbrt-cube add-exp-log
47×add-sqr-sqrt
46×*-un-lft-identity
44×add-cube-cbrt
28×pow1
27×associate-*r/
25×prod-exp cbrt-unprod
18×frac-times
15×pow-prod-down
12×associate-*l/
10×cbrt-undiv div-exp
9×flip3-- flip--
6×sub-neg associate-*r*
4×expm1-log1p-u sqrt-pow1 associate-*l* insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r* times-frac
2×sqrt-div *-commutative
1×clear-num frac-2neg pow1/2 sqrt-prod div-inv associate-/l* distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 190
Calls
4 calls:
Slowest
130.0ms
(* n (* (* (/ l Om) (/ l Om)) (- U U*)))
109.0ms
(sqrt (* 2 (* U (* n (- (fma (/ (* l l) Om) -2 t) (* n (* (* (/ l Om) (/ l Om)) (- U U*))))))))
51.0ms
(* (* (/ l Om) (/ l Om)) (- U U*))
13.0ms
(/ (* l l) Om)

series2.7s

Counts
4 → 12
Calls
4 calls:
Slowest
2.4s
(sqrt (* 2 (* U (* n (- (fma (/ (* l l) Om) -2 t) (* n (* (* (/ l Om) (/ l Om)) (- U U*))))))))
150.0ms
(* n (* (* (/ l Om) (/ l Om)) (- U U*)))
87.0ms
(* (* (/ l Om) (/ l Om)) (- U U*))
21.0ms
(/ (* l l) Om)

simplify37.7s

Counts
161 → 202
Calls
161 calls:
Slowest
793.0ms
(* (* (* n n) n) (* (* (/ (* (* l l) l) (* (* Om Om) Om)) (/ (* (* l l) l) (* (* Om Om) Om))) (* (* (- U U*) (- U U*)) (- U U*))))
739.0ms
(* (fma (- (sqrt U*)) (sqrt U*) (* (sqrt U*) (sqrt U*))) (* (/ l Om) (/ l Om)))
731.0ms
(- (/ (* U (pow l 2)) (pow Om 2)) (/ (* U* (pow l 2)) (pow Om 2)))
582.0ms
(* (* (* n n) n) (* (* (/ (* (* l l) l) (* (* Om Om) Om)) (* (* (/ l Om) (/ l Om)) (/ l Om))) (* (* (- U U*) (- U U*)) (- U U*))))
575.0ms
(sqrt (* 2 (* U (* n (- (pow (fma (/ (* l l) Om) -2 t) 3) (pow (* n (* (* (/ l Om) (/ l Om)) (- U U*))) 3))))))

prune3.8s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 25.9b

localize53.0ms

Local error

Found 4 expressions with local error:

20.3b
(sqrt (* 2 (* U (* n (- (fma (* l (/ l Om)) -2 t) (* n (* (* (/ l Om) (/ l Om)) (- U U*))))))))
8.4b
(* (* (/ l Om) (/ l Om)) (- U U*))
7.1b
(* n (* (* (/ l Om) (/ l Om)) (- U U*)))
6.7b
(* U (* n (- (fma (* l (/ l Om)) -2 t) (* n (* (* (/ l Om) (/ l Om)) (- U U*))))))

rewrite315.0ms

Algorithm
rewrite-expression-head
Rules
79×distribute-rgt-in distribute-lft-in
66×prod-diff
52×add-cbrt-cube add-exp-log
50×add-sqr-sqrt
49×*-un-lft-identity
47×add-cube-cbrt
33×pow1
31×associate-*r/
27×prod-exp cbrt-unprod
18×frac-times pow-prod-down
12×associate-*l/
10×sub-neg flip3-- flip--
8×cbrt-undiv div-exp
7×associate-*r* associate-*l*
4×expm1-log1p-u sqrt-pow1 associate--l+ fma-udef insert-posit16 log1p-expm1-u add-log-exp
3×*-commutative
2×sqrt-div
1×pow1/2 sqrt-prod distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 213
Calls
4 calls:
Slowest
163.0ms
(* n (* (* (/ l Om) (/ l Om)) (- U U*)))
60.0ms
(sqrt (* 2 (* U (* n (- (fma (* l (/ l Om)) -2 t) (* n (* (* (/ l Om) (/ l Om)) (- U U*))))))))
55.0ms
(* (* (/ l Om) (/ l Om)) (- U U*))
33.0ms
(* U (* n (- (fma (* l (/ l Om)) -2 t) (* n (* (* (/ l Om) (/ l Om)) (- U U*))))))

series3.0s

Counts
4 → 12
Calls
4 calls:
Slowest
2.4s
(sqrt (* 2 (* U (* n (- (fma (* l (/ l Om)) -2 t) (* n (* (* (/ l Om) (/ l Om)) (- U U*))))))))
441.0ms
(* U (* n (- (fma (* l (/ l Om)) -2 t) (* n (* (* (/ l Om) (/ l Om)) (- U U*))))))
162.0ms
(* n (* (* (/ l Om) (/ l Om)) (- U U*)))
80.0ms
(* (* (/ l Om) (/ l Om)) (- U U*))

simplify42.8s

Counts
184 → 225
Calls
184 calls:
Slowest
823.0ms
(+ (log n) (+ (+ (log (/ l Om)) (log (/ l Om))) (log (- U U*))))
795.0ms
(+ (* (fma (* l (/ l Om)) -2 t) (fma (* l (/ l Om)) -2 t)) (+ (* (* n (* (* (/ l Om) (/ l Om)) (- U U*))) (* n (* (* (/ l Om) (/ l Om)) (- U U*)))) (* (fma (* l (/ l Om)) -2 t) (* n (* (* (/ l Om) (/ l Om)) (- U U*))))))
730.0ms
(* (* (* n n) n) (* (* (/ (* (* l l) l) (* (* Om Om) Om)) (/ (* (* l l) l) (* (* Om Om) Om))) (* (* (- U U*) (- U U*)) (- U U*))))
645.0ms
(* (* (* n n) n) (* (* (* (* (/ l Om) (/ l Om)) (/ l Om)) (/ (* (* l l) l) (* (* Om Om) Om))) (* (* (- U U*) (- U U*)) (- U U*))))
624.0ms
(* (* (* n n) n) (* (* (/ (* (* l l) l) (* (* Om Om) Om)) (* (* (/ l Om) (/ l Om)) (/ l Om))) (* (* (- U U*) (- U U*)) (- U U*))))

prune4.2s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 24.1b

localize38.0ms

Local error

Found 4 expressions with local error:

20.3b
(sqrt (* 2 (* U (* n (- (fma (* l (/ l Om)) -2 t) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))))
6.7b
(* U (* n (- (fma (* l (/ l Om)) -2 t) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
5.8b
(* n (* (/ l Om) (/ l Om)))
5.6b
(* (* n (* (/ l Om) (/ l Om))) (- U U*))

rewrite270.0ms

Algorithm
rewrite-expression-head
Rules
52×add-cbrt-cube add-exp-log
35×distribute-rgt-in distribute-lft-in
33×pow1
30×prod-diff
28×associate-*r/
27×prod-exp cbrt-unprod
26×add-sqr-sqrt
25×*-un-lft-identity
23×add-cube-cbrt
18×pow-prod-down
10×frac-times
8×cbrt-undiv div-exp
7×associate-*r* associate-*l* associate-*l/
6×sub-neg flip3-- flip--
4×expm1-log1p-u sqrt-pow1 associate--l+ fma-udef insert-posit16 log1p-expm1-u add-log-exp
3×*-commutative
2×sqrt-div
1×pow1/2 sqrt-prod distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 161
Calls
4 calls:
Slowest
110.0ms
(* (* n (* (/ l Om) (/ l Om))) (- U U*))
100.0ms
(sqrt (* 2 (* U (* n (- (fma (* l (/ l Om)) -2 t) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))))
33.0ms
(* n (* (/ l Om) (/ l Om)))
24.0ms
(* U (* n (- (fma (* l (/ l Om)) -2 t) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))

series3.1s

Counts
4 → 12
Calls
4 calls:
Slowest
2.3s
(sqrt (* 2 (* U (* n (- (fma (* l (/ l Om)) -2 t) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))))
491.0ms
(* U (* n (- (fma (* l (/ l Om)) -2 t) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
151.0ms
(* (* n (* (/ l Om) (/ l Om))) (- U U*))
63.0ms
(* n (* (/ l Om) (/ l Om)))

simplify28.1s

Counts
131 → 173
Calls
131 calls:
Slowest
826.0ms
(+ (+ (log n) (+ (log (/ l Om)) (log (/ l Om)))) (log (- U U*)))
736.0ms
(* (* (* n n) n) (* (* (* (/ l Om) (/ l Om)) (* (/ l Om) (/ l Om))) (* (/ l Om) (/ l Om))))
597.0ms
(* (* n (* (/ l Om) l)) (- (* U U) (* U* U*)))
581.0ms
(* (* n (* l (/ l Om))) (- (* U U) (* U* U*)))
581.0ms
(* (* (* (* n n) n) (* (/ (* (* l l) l) (* (* Om Om) Om)) (* (* (/ l Om) (/ l Om)) (/ l Om)))) (* (* (- U U*) (- U U*)) (- U U*)))

prune3.3s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 24.1b

localize73.0ms

Local error

Found 4 expressions with local error:

20.3b
(sqrt (* 2 (+ (* (* (fma (* l (/ l Om)) -2 t) n) U) (- (* U (* (- U U*) (* (* (/ l Om) n) (* (/ l Om) n))))))))
7.9b
(* (- U U*) (* (* (/ l Om) n) (* (/ l Om) n)))
7.2b
(* (* (fma (* l (/ l Om)) -2 t) n) U)
5.1b
(* U (* (- U U*) (* (* (/ l Om) n) (* (/ l Om) n))))

rewrite664.0ms

Algorithm
rewrite-expression-head
Rules
115×add-cbrt-cube add-exp-log
76×prod-exp cbrt-unprod
55×pow1
36×pow-prod-down
34×associate-*l/
25×associate-*r/
18×frac-times
12×cbrt-undiv div-exp
10×add-sqr-sqrt
9×*-un-lft-identity associate-*l*
8×flip3-- flip--
7×add-cube-cbrt
5×associate-*r*
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×*-commutative
2×sqrt-pow1 sqrt-div
1×flip3-+ pow1/2 sqrt-prod flip-+ distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 145
Calls
4 calls:
Slowest
410.0ms
(* U (* (- U U*) (* (* (/ l Om) n) (* (/ l Om) n))))
196.0ms
(* (- U U*) (* (* (/ l Om) n) (* (/ l Om) n)))
33.0ms
(sqrt (* 2 (+ (* (* (fma (* l (/ l Om)) -2 t) n) U) (- (* U (* (- U U*) (* (* (/ l Om) n) (* (/ l Om) n))))))))
19.0ms
(* (* (fma (* l (/ l Om)) -2 t) n) U)

series1.9s

Counts
4 → 12
Calls
4 calls:
Slowest
1.2s
(sqrt (* 2 (+ (* (* (fma (* l (/ l Om)) -2 t) n) U) (- (* U (* (- U U*) (* (* (/ l Om) n) (* (/ l Om) n))))))))
319.0ms
(* U (* (- U U*) (* (* (/ l Om) n) (* (/ l Om) n))))
284.0ms
(* (- U U*) (* (* (/ l Om) n) (* (/ l Om) n)))
117.0ms
(* (* (fma (* l (/ l Om)) -2 t) n) U)

simplify36.8s

Counts
112 → 157
Calls
112 calls:
Slowest
1.3s
(* (* (* U U) U) (* (* (* (- U U*) (- U U*)) (- U U*)) (* (* (* (* (/ l Om) (/ l Om)) (/ l Om)) (* (* n n) n)) (* (* (* (/ l Om) (/ l Om)) (/ l Om)) (* (* n n) n)))))
1.2s
(* (* (* U U) U) (* (* (* (- U U*) (- U U*)) (- U U*)) (* (* (/ (* (* l l) l) (* (* Om Om) Om)) (* (* n n) n)) (* (/ (* (* l l) l) (* (* Om Om) Om)) (* (* n n) n)))))
1.1s
(* (* (* U U) U) (* (* (* (- U U*) (- U U*)) (- U U*)) (* (* (/ (* (* l l) l) (* (* Om Om) Om)) (* (* n n) n)) (* (* (* (/ l Om) n) (* (/ l Om) n)) (* (/ l Om) n)))))
1.1s
(* (* (* U U) U) (* (* (* (- U U*) (- U U*)) (- U U*)) (* (* (* (* (/ l Om) n) (* (/ l Om) n)) (* (/ l Om) n)) (* (/ (* (* l l) l) (* (* Om Om) Om)) (* (* n n) n)))))
1.1s
(* (* (* U U) U) (* (* (* (- U U*) (- U U*)) (- U U*)) (* (* (/ (* (* l l) l) (* (* Om Om) Om)) (* (* n n) n)) (* (* (* (/ l Om) (/ l Om)) (/ l Om)) (* (* n n) n)))))

prune3.0s

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 23.2b

regimes1.5s

Accuracy

13.2% (5.7b remaining)

Error of 28.8b against oracle of 23.0b and baseline of 29.6b

bsearch275.0ms

end0.0ms

sample8.3s

Algorithm
intervals
Results
4.3s14786×body80nan
3.0s9278×body80valid