Details

Time bar (total: 36.2s)

sample209.0ms

Algorithm
intervals
Results
86.0ms475×body80nan
57.0ms296×body80valid

simplify2.4s

Counts
1 → 1
Iterations
IterNodes
done5001
43247
3642
2155
150
021

prune27.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 24.8b

localize57.0ms

Local error

Found 4 expressions with local error:

2.6b
(* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))
6.4b
(* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))
10.4b
(* (/ l Om) (* n (- U* U)))
18.8b
(sqrt (* 2 (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))))

rewrite163.0ms

Algorithm
rewrite-expression-head
Rules
26×pow1
23×add-cbrt-cube add-exp-log
19×associate-*l*
18×distribute-rgt-in distribute-lft-in associate-*r/
16×add-sqr-sqrt
14×*-un-lft-identity add-cube-cbrt
13×pow-prod-down
10×sub-neg prod-exp cbrt-unprod
9×times-frac
5×flip3-- associate-*r* flip--
4×sqrt-pow1 insert-posit16 add-log-exp
3×*-commutative
2×frac-times cbrt-undiv sqrt-div div-exp
1×pow1/2 associate-*l/ sqrt-prod div-inv unswap-sqr
Counts
4 → 116
Calls
4 calls:
19.0ms
(* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))
33.0ms
(* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))
42.0ms
(* (/ l Om) (* n (- U* U)))
66.0ms
(sqrt (* 2 (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))))

series2.6s

Counts
4 → 12
Calls
4 calls:
387.0ms
(* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))
404.0ms
(* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))
101.0ms
(* (/ l Om) (* n (- U* U)))
1.7s
(sqrt (* 2 (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))))

simplify1.8s

Counts
128 → 128
Iterations
IterNodes
done5014
22762
1715
0248

prune870.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 23.9b

localize62.0ms

Local error

Found 4 expressions with local error:

4.8b
(* n (- (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))
6.4b
(* U (+ (* n t) (* n (- (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))
10.4b
(* (/ l Om) (* n (- U* U)))
18.8b
(sqrt (* 2 (* U (+ (* n t) (* n (- (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))))

rewrite122.0ms

Algorithm
rewrite-expression-head
Rules
20×add-cbrt-cube add-exp-log
19×add-sqr-sqrt pow1 associate-*l* associate-*r/
17×distribute-rgt-in distribute-lft-in
15×*-un-lft-identity add-cube-cbrt
11×associate-*r*
9×times-frac
8×distribute-neg-in sub-neg pow-prod-down prod-exp cbrt-unprod
5×distribute-neg-frac
4×frac-times flip3-- insert-posit16 flip-- add-log-exp
3×sqrt-pow1 *-commutative
2×cbrt-undiv flip3-+ sqrt-div div-exp associate-*l/ flip-+ unswap-sqr
1×distribute-lft-neg-in neg-mul-1 distribute-rgt-neg-in pow1/2 distribute-rgt-neg-out sqrt-prod div-inv distribute-lft-out
Counts
4 → 121
Calls
4 calls:
34.0ms
(* n (- (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))
19.0ms
(* U (+ (* n t) (* n (- (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))
28.0ms
(* (/ l Om) (* n (- U* U)))
39.0ms
(sqrt (* 2 (* U (+ (* n t) (* n (- (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))))

series2.4s

Counts
4 → 12
Calls
4 calls:
174.0ms
(* n (- (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))
399.0ms
(* U (+ (* n t) (* n (- (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))
107.0ms
(* (/ l Om) (* n (- U* U)))
1.8s
(sqrt (* 2 (* U (+ (* n t) (* n (- (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))))

simplify2.0s

Counts
133 → 133
Iterations
IterNodes
done5016
24063
1968
0305

prune916.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 22.0b

localize44.0ms

Local error

Found 4 expressions with local error:

4.3b
(* n (- (/ l Om)))
6.4b
(* U (+ (* n t) (* (* n (- (/ l Om))) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))
10.4b
(* (/ l Om) (* n (- U* U)))
18.8b
(sqrt (* 2 (* U (+ (* n t) (* (* n (- (/ l Om))) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))

rewrite128.0ms

Algorithm
rewrite-expression-head
Rules
34×associate-*r*
33×add-sqr-sqrt
29×*-un-lft-identity add-cube-cbrt
27×times-frac
20×add-cbrt-cube add-exp-log
19×pow1 associate-*l*
13×distribute-lft-neg-in distribute-rgt-neg-in associate-*r/
9×distribute-rgt-in distribute-lft-in
8×pow-prod-down prod-exp cbrt-unprod
4×sub-neg insert-posit16 add-log-exp
3×sqrt-pow1 *-commutative div-inv
2×frac-times cbrt-undiv flip3-+ flip3-- sqrt-div div-exp flip-+ flip-- unswap-sqr
1×neg-mul-1 pow1/2 associate-*l/ distribute-rgt-neg-out sqrt-prod distribute-neg-frac
Counts
4 → 132
Calls
4 calls:
15.0ms
(* n (- (/ l Om)))
25.0ms
(* U (+ (* n t) (* (* n (- (/ l Om))) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))
45.0ms
(* (/ l Om) (* n (- U* U)))
41.0ms
(sqrt (* 2 (* U (+ (* n t) (* (* n (- (/ l Om))) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))

series2.8s

Counts
4 → 12
Calls
4 calls:
27.0ms
(* n (- (/ l Om)))
531.0ms
(* U (+ (* n t) (* (* n (- (/ l Om))) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))
137.0ms
(* (/ l Om) (* n (- U* U)))
2.1s
(sqrt (* 2 (* U (+ (* n t) (* (* n (- (/ l Om))) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))

simplify2.3s

Counts
144 → 144
Iterations
IterNodes
done5000
23806
1944
0306

prune1.3s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 21.9b

localize62.0ms

Local error

Found 4 expressions with local error:

5.8b
(* (* n t) U)
6.5b
(* (* (* n (- (/ l Om))) (- (* 2 l) (* (/ l Om) (* n (- U* U))))) U)
10.4b
(* (/ l Om) (* n (- U* U)))
18.8b
(sqrt (* 2 (+ (* (* n t) U) (* (* (* n (- (/ l Om))) (- (* 2 l) (* (/ l Om) (* n (- U* U))))) U))))

rewrite225.0ms

Algorithm
rewrite-expression-head
Rules
30×add-cbrt-cube add-exp-log
26×pow1
15×associate-*l* prod-exp cbrt-unprod
13×add-sqr-sqrt *-un-lft-identity pow-prod-down associate-*r/ add-cube-cbrt
9×times-frac
8×distribute-rgt-in distribute-lft-in
7×associate-*r* associate-*l/
4×frac-times sub-neg flip3-- insert-posit16 flip-- add-log-exp
3×*-commutative distribute-neg-frac
2×distribute-lft-neg-out cbrt-undiv sqrt-pow1 sqrt-div div-exp
1×flip3-+ pow1/2 distribute-rgt-neg-out sqrt-prod flip-+ div-inv
Counts
4 → 107
Calls
4 calls:
14.0ms
(* (* n t) U)
129.0ms
(* (* (* n (- (/ l Om))) (- (* 2 l) (* (/ l Om) (* n (- U* U))))) U)
49.0ms
(* (/ l Om) (* n (- U* U)))
29.0ms
(sqrt (* 2 (+ (* (* n t) U) (* (* (* n (- (/ l Om))) (- (* 2 l) (* (/ l Om) (* n (- U* U))))) U))))

series2.5s

Counts
4 → 12
Calls
4 calls:
43.0ms
(* (* n t) U)
251.0ms
(* (* (* n (- (/ l Om))) (- (* 2 l) (* (/ l Om) (* n (- U* U))))) U)
152.0ms
(* (/ l Om) (* n (- U* U)))
2.0s
(sqrt (* 2 (+ (* (* n t) U) (* (* (* n (- (/ l Om))) (- (* 2 l) (* (/ l Om) (* n (- U* U))))) U))))

simplify2.4s

Counts
119 → 119
Iterations
IterNodes
done5004
23472
1832
0275

prune786.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 20.3b

regimes1.4s

Accuracy

69.3% (2.4b remaining)

Error of 23.3b against oracle of 20.9b and baseline of 28.6b

bsearch7.0ms

simplify61.0ms

Iterations
IterNodes
done104
4104
398
291
179
053

end0.0ms

sample8.7s

Algorithm
intervals
Results
4.4s14800×body80nan
2.6s9195×body80valid