Details

Time bar (total: 45.4s)

sample233.0ms

Algorithm
intervals
Results
103.0ms449×body80nan
81.0ms282×body80valid

simplify1.4s

Counts
1 → 1
Iterations
IterNodes
42775
3598
2153
150
021

prune33.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 31.4b

localize48.0ms

Local error

Found 4 expressions with local error:

5.9b
(/ l (/ Om n))
6.0b
(* (- U* U) (/ l (/ Om n)))
10.2b
(* (* U n) (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (/ l (/ Om n))))))))
21.3b
(sqrt (* (* U n) (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (/ l (/ Om n)))))))))

rewrite97.0ms

Algorithm
rewrite-expression-head
Rules
144×times-frac
93×add-sqr-sqrt
84×*-un-lft-identity
82×add-cube-cbrt
45×associate-*r*
31×pow1
30×add-cbrt-cube add-exp-log
17×pow-prod-down
13×associate-/r*
11×prod-exp cbrt-unprod
9×associate-*r/ div-inv
8×distribute-rgt-in distribute-lft-in
6×cbrt-undiv div-exp associate-*l*
5×sqrt-pow1
4×sub-neg flip3-- insert-posit16 flip-- add-log-exp
3×associate-/l* unswap-sqr
2×frac-times sqrt-div associate-*l/ associate-/r/ *-commutative
1×clear-num frac-2neg pow1/2 sqrt-prod distribute-lft-out-- difference-of-squares
Counts
4 → 194
Calls
4 calls:
6.0ms
(/ l (/ Om n))
25.0ms
(* (- U* U) (/ l (/ Om n)))
36.0ms
(* (* U n) (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (/ l (/ Om n))))))))
27.0ms
(sqrt (* (* U n) (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (/ l (/ Om n)))))))))

series2.6s

Counts
4 → 12
Calls
4 calls:
39.0ms
(/ l (/ Om n))
96.0ms
(* (- U* U) (/ l (/ Om n)))
519.0ms
(* (* U n) (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (/ l (/ Om n))))))))
2.0s
(sqrt (* (* U n) (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (/ l (/ Om n)))))))))

simplify3.2s

Counts
206 → 206
Iterations
IterNodes
24636
11050
0373

prune3.6s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 23.1b

localize56.0ms

Local error

Found 4 expressions with local error:

4.0b
(* (/ (* (cbrt l) (cbrt l)) Om) (* n (cbrt l)))
6.0b
(* (- U* U) (* (/ (* (cbrt l) (cbrt l)) Om) (* n (cbrt l))))
10.2b
(* (* U n) (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (* (/ (* (cbrt l) (cbrt l)) Om) (* n (cbrt l)))))))))
21.3b
(sqrt (* (* U n) (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (* (/ (* (cbrt l) (cbrt l)) Om) (* n (cbrt l))))))))))

rewrite260.0ms

Algorithm
rewrite-expression-head
Rules
66×add-exp-log
52×add-cbrt-cube
43×pow1
37×prod-exp cbrt-unprod
25×pow-prod-down
13×associate-*l*
9×add-sqr-sqrt *-un-lft-identity associate-*r/
8×distribute-rgt-in cbrt-undiv distribute-lft-in div-exp
7×add-cube-cbrt
6×associate-*l/
5×sqrt-pow1
4×sub-neg flip3-- insert-posit16 flip-- add-log-exp
3×times-frac associate-*r* *-commutative
2×frac-times sqrt-div
1×pow1/2 sqrt-prod div-inv distribute-lft-out-- difference-of-squares
Counts
4 → 119
Calls
4 calls:
59.0ms
(* (/ (* (cbrt l) (cbrt l)) Om) (* n (cbrt l)))
120.0ms
(* (- U* U) (* (/ (* (cbrt l) (cbrt l)) Om) (* n (cbrt l))))
41.0ms
(* (* U n) (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (* (/ (* (cbrt l) (cbrt l)) Om) (* n (cbrt l)))))))))
36.0ms
(sqrt (* (* U n) (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (* (/ (* (cbrt l) (cbrt l)) Om) (* n (cbrt l))))))))))

series3.3s

Counts
4 → 12
Calls
4 calls:
79.0ms
(* (/ (* (cbrt l) (cbrt l)) Om) (* n (cbrt l)))
151.0ms
(* (- U* U) (* (/ (* (cbrt l) (cbrt l)) Om) (* n (cbrt l))))
690.0ms
(* (* U n) (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (* (/ (* (cbrt l) (cbrt l)) Om) (* n (cbrt l)))))))))
2.3s
(sqrt (* (* U n) (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (* (/ (* (cbrt l) (cbrt l)) Om) (* n (cbrt l))))))))))

simplify1.5s

Counts
131 → 131
Iterations
IterNodes
23286
1744
0257

prune2.5s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 21.5b

localize81.0ms

Local error

Found 4 expressions with local error:

4.0b
(* (/ (* (cbrt l) (cbrt l)) Om) (* n (cbrt l)))
6.0b
(* (- U* U) (* (/ (* (cbrt l) (cbrt l)) Om) (* n (cbrt l))))
6.2b
(* U (* n (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (* (/ (* (cbrt l) (cbrt l)) Om) (* n (cbrt l))))))))))
21.3b
(sqrt (* U (* n (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (* (/ (* (cbrt l) (cbrt l)) Om) (* n (cbrt l)))))))))))

rewrite334.0ms

Algorithm
rewrite-expression-head
Rules
63×add-exp-log
49×add-cbrt-cube
37×pow1
35×prod-exp cbrt-unprod
24×distribute-rgt-in distribute-lft-in
21×pow-prod-down
15×associate-*l*
13×associate-*r/
10×add-sqr-sqrt *-un-lft-identity
8×cbrt-undiv sub-neg div-exp add-cube-cbrt
6×associate-*l/
4×sqrt-pow1 flip3-- insert-posit16 flip-- add-log-exp
3×times-frac associate-*r* *-commutative
2×frac-times sqrt-div
1×pow1/2 sqrt-prod div-inv distribute-lft-out-- difference-of-squares
Counts
4 → 125
Calls
4 calls:
32.0ms
(* (/ (* (cbrt l) (cbrt l)) Om) (* n (cbrt l)))
157.0ms
(* (- U* U) (* (/ (* (cbrt l) (cbrt l)) Om) (* n (cbrt l))))
79.0ms
(* U (* n (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (* (/ (* (cbrt l) (cbrt l)) Om) (* n (cbrt l))))))))))
63.0ms
(sqrt (* U (* n (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (* (/ (* (cbrt l) (cbrt l)) Om) (* n (cbrt l)))))))))))

series3.4s

Counts
4 → 12
Calls
4 calls:
72.0ms
(* (/ (* (cbrt l) (cbrt l)) Om) (* n (cbrt l)))
171.0ms
(* (- U* U) (* (/ (* (cbrt l) (cbrt l)) Om) (* n (cbrt l))))
690.0ms
(* U (* n (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (* (/ (* (cbrt l) (cbrt l)) Om) (* n (cbrt l))))))))))
2.4s
(sqrt (* U (* n (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (* (/ (* (cbrt l) (cbrt l)) Om) (* n (cbrt l)))))))))))

simplify1.3s

Counts
137 → 137
Iterations
IterNodes
23421
1789
0276

prune2.6s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 18.4b

localize67.0ms

Local error

Found 4 expressions with local error:

3.5b
(* n (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (* (* (cbrt l) (cbrt l)) (* (/ (cbrt l) Om) n))))))))
6.0b
(* (- U* U) (* (* (cbrt l) (cbrt l)) (* (/ (cbrt l) Om) n)))
6.2b
(* U (* n (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (* (* (cbrt l) (cbrt l)) (* (/ (cbrt l) Om) n)))))))))
21.3b
(sqrt (* U (* n (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (* (* (cbrt l) (cbrt l)) (* (/ (cbrt l) Om) n))))))))))

rewrite386.0ms

Algorithm
rewrite-expression-head
Rules
47×add-exp-log
46×pow1
39×add-cbrt-cube
32×distribute-rgt-in distribute-lft-in
29×prod-exp cbrt-unprod
28×pow-prod-down
20×associate-*r/
12×sub-neg
11×associate-*l*
9×add-sqr-sqrt *-un-lft-identity
7×add-cube-cbrt
5×flip3-- associate-*l/ flip--
4×sqrt-pow1 insert-posit16 add-log-exp
3×associate-*r* *-commutative
2×frac-times cbrt-undiv sqrt-div div-exp
1×pow1/2 sqrt-prod distribute-lft-out-- difference-of-squares
Counts
4 → 124
Calls
4 calls:
43.0ms
(* n (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (* (* (cbrt l) (cbrt l)) (* (/ (cbrt l) Om) n))))))))
200.0ms
(* (- U* U) (* (* (cbrt l) (cbrt l)) (* (/ (cbrt l) Om) n)))
78.0ms
(* U (* n (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (* (* (cbrt l) (cbrt l)) (* (/ (cbrt l) Om) n)))))))))
61.0ms
(sqrt (* U (* n (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (* (* (cbrt l) (cbrt l)) (* (/ (cbrt l) Om) n))))))))))

series4.0s

Counts
4 → 12
Calls
4 calls:
665.0ms
(* n (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (* (* (cbrt l) (cbrt l)) (* (/ (cbrt l) Om) n))))))))
149.0ms
(* (- U* U) (* (* (cbrt l) (cbrt l)) (* (/ (cbrt l) Om) n)))
692.0ms
(* U (* n (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (* (* (cbrt l) (cbrt l)) (* (/ (cbrt l) Om) n)))))))))
2.5s
(sqrt (* U (* n (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (* (* (cbrt l) (cbrt l)) (* (/ (cbrt l) Om) n))))))))))

simplify1.9s

Counts
136 → 136
Iterations
IterNodes
23308
1780
0274

prune2.7s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 18.3b

regimes1.2s

Accuracy

30.5% (7.8b remaining)

Error of 25.9b against oracle of 18.0b and baseline of 29.3b

bsearch186.0ms

Steps
ItersRangePoint
8
-1.1485916109250096e-307
3.701747966542155e-305
2.9259008121443e-311

simplify42.0ms

Iterations
IterNodes
257
157
041

end0.0ms

sample8.4s

Algorithm
intervals
Results
4.7s14542×body80nan
2.3s9217×body80valid