Details

Time bar (total: 50.6s)

sample624.0ms

Algorithm
intervals
Results
276.0ms459×body80nan
162.0ms299×body80valid

simplify1.1s

Counts
1 → 1

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 27.6b

localize51.0ms

Local error

Found 4 expressions with local error:

18.5b
(sqrt (* U (* 2 (* n (+ (/ -2 (/ Om (* l l))) (- t (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*))))))))
7.6b
(* U (* 2 (* n (+ (/ -2 (/ Om (* l l))) (- t (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*)))))))
6.4b
(/ Om (* l l))
6.2b
(/ n (/ Om l))

rewrite975.0ms

Algorithm
rewrite-expression-head
Rules
78×times-frac
49×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
24×associate-*r/
23×pow1 add-cbrt-cube add-exp-log
14×associate-/r*
12×distribute-rgt-in distribute-lft-in pow-prod-down
7×prod-exp cbrt-unprod
6×div-inv associate-/l*
5×cbrt-undiv div-exp
4×sqrt-pow1 sqrt-div frac-add insert-posit16 add-log-exp
3×associate-*l*
2×clear-num frac-2neg flip3-+ flip3-- flip-+ flip--
1×pow1/2 associate-*r* associate-/r/ *-commutative sqrt-prod
Counts
4 → 145
Calls
4 calls:
Slowest
698.0ms
(sqrt (* U (* 2 (* n (+ (/ -2 (/ Om (* l l))) (- t (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*))))))))
240.0ms
(* U (* 2 (* n (+ (/ -2 (/ Om (* l l))) (- t (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*)))))))
13.0ms
(/ Om (* l l))
11.0ms
(/ n (/ Om l))

series2.7s

Counts
4 → 12
Calls
4 calls:
Slowest
2.2s
(sqrt (* U (* 2 (* n (+ (/ -2 (/ Om (* l l))) (- t (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*))))))))
435.0ms
(* U (* 2 (* n (+ (/ -2 (/ Om (* l l))) (- t (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*)))))))
35.0ms
(/ Om (* l l))
27.0ms
(/ n (/ Om l))

simplify1.8s

Counts
157 → 157

prune2.9s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 20.6b

localize61.0ms

Local error

Found 4 expressions with local error:

18.5b
(sqrt (* 1 (* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n))))
7.3b
(* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n))
5.6b
(* (/ n (* (/ Om l) (/ Om l))) (- U U*))
4.4b
(/ n (* (/ Om l) (/ Om l)))

rewrite404.0ms

Algorithm
rewrite-expression-head
Rules
59×add-cbrt-cube add-exp-log
37×pow1
22×pow-prod-down prod-exp cbrt-unprod
18×cbrt-undiv div-exp
16×associate-*r/
15×add-sqr-sqrt associate-*l/
11×*-un-lft-identity associate-*l*
9×add-cube-cbrt
7×times-frac
6×sqrt-pow1 associate-*r* associate-/r/
4×frac-times flip3-- sqrt-div frac-add insert-posit16 flip-- add-log-exp
3×associate-/l*
2×distribute-rgt-in sub-neg distribute-lft-in flip3-+ *-commutative flip-+ div-inv unswap-sqr
1×clear-num associate-/r* frac-2neg pow1/2 sqrt-prod distribute-lft-out-- difference-of-squares
Counts
4 → 126
Calls
4 calls:
Slowest
274.0ms
(sqrt (* 1 (* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n))))
77.0ms
(* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n))
40.0ms
(* (/ n (* (/ Om l) (/ Om l))) (- U U*))
11.0ms
(/ n (* (/ Om l) (/ Om l)))

series5.2s

Counts
4 → 12
Calls
4 calls:
Slowest
4.6s
(sqrt (* 1 (* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n))))
438.0ms
(* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n))
123.0ms
(* (/ n (* (/ Om l) (/ Om l))) (- U U*))
65.0ms
(/ n (* (/ Om l) (/ Om l)))

simplify1.5s

Counts
138 → 138

prune1.8s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 19.6b

localize59.0ms

Local error

Found 4 expressions with local error:

18.5b
(sqrt (* 1 (* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n))))
18.5b
(sqrt (* 1 (* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n))))
7.3b
(* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n))
7.3b
(* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n))

rewrite418.0ms

Algorithm
rewrite-expression-head
Rules
66×pow1
42×pow-prod-down
28×add-cbrt-cube add-exp-log
24×associate-*l/ associate-*r/
16×prod-exp cbrt-unprod
12×sqrt-pow1
8×sqrt-div frac-add
4×add-sqr-sqrt *-un-lft-identity flip3-+ flip3-- add-cube-cbrt flip-+ insert-posit16 flip-- add-log-exp
2×pow1/2 associate-*r* associate-*l* *-commutative sqrt-prod
Counts
4 → 94
Calls
4 calls:
Slowest
147.0ms
(sqrt (* 1 (* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n))))
145.0ms
(sqrt (* 1 (* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n))))
62.0ms
(* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n))
61.0ms
(* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n))

series8.0s

Counts
4 → 12
Calls
4 calls:
Slowest
3.8s
(sqrt (* 1 (* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n))))
3.6s
(sqrt (* 1 (* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n))))
299.0ms
(* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n))
294.0ms
(* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n))

simplify769.0ms

Counts
106 → 106

prune1.6s

Pruning

16 alts after pruning (15 fresh and 1 done)

Merged error: 19.6b

localize67.0ms

Local error

Found 4 expressions with local error:

20.0b
(cbrt (* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n)))
20.0b
(cbrt (* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n)))
20.0b
(cbrt (* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n)))
18.5b
(sqrt (* 1 (* (* (cbrt (* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n))) (cbrt (* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n)))) (cbrt (* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n))))))

rewrite507.0ms

Algorithm
rewrite-expression-head
Rules
512×associate-*l/
460×associate-*r/
312×cbrt-div
176×frac-times
156×frac-add
124×sqrt-div
78×flip3-+ flip3-- flip-+ flip--
14×pow1
6×pow-prod-down
4×add-sqr-sqrt *-un-lft-identity sqrt-pow1 add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16 add-log-exp
3×cbrt-prod pow1/3
1×pow1/2 sqrt-prod
Counts
4 → 180
Calls
4 calls:
Slowest
335.0ms
(sqrt (* 1 (* (* (cbrt (* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n))) (cbrt (* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n)))) (cbrt (* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n))))))
54.0ms
(cbrt (* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n)))
53.0ms
(cbrt (* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n)))
53.0ms
(cbrt (* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n)))

series7.6s

Counts
4 → 12
Calls
4 calls:
Slowest
6.1s
(sqrt (* 1 (* (* (cbrt (* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n))) (cbrt (* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n)))) (cbrt (* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n))))))
495.0ms
(cbrt (* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n)))
493.0ms
(cbrt (* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n)))
491.0ms
(cbrt (* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n)))

simplify1.4s

Counts
192 → 192

prune3.8s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 19.6b

regimes1.3s

Accuracy

45.6% (5.4b remaining)

Error of 26.7b against oracle of 21.3b and baseline of 31.2b

bsearch603.0ms

end0.0ms

sample5.4s

Algorithm
intervals
Results
3.0s14946×body80nan
1.6s9183×body80valid