Details

Time bar (total: 39.2s)

sample781.0ms

Algorithm
intervals
Results
476.0ms296×body80valid
143.0ms475×body80nan

simplify2.7s

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

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 24.8b

localize43.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))))))))))

rewrite188.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:
14.0ms
(* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))
43.0ms
(* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))
61.0ms
(* (/ l Om) (* n (- U* U)))
63.0ms
(sqrt (* 2 (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))))

series3.3s

Counts
4 → 12
Calls
4 calls:
504.0ms
(* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))
516.0ms
(* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))
130.0ms
(* (/ l Om) (* n (- U* U)))
2.1s
(sqrt (* 2 (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))))

simplify1.9s

Counts
128 → 128
Iterations
IterNodes
done5014
22762
1715
0248

prune882.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 23.9b

localize52.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)))))))))))

rewrite152.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:
70.0ms
(* n (- (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))
18.0ms
(* U (+ (* n t) (* n (- (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))
39.0ms
(* (/ l Om) (* n (- U* U)))
22.0ms
(sqrt (* 2 (* U (+ (* n t) (* n (- (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))))

series2.9s

Counts
4 → 12
Calls
4 calls:
249.0ms
(* n (- (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))
511.0ms
(* U (+ (* n t) (* n (- (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))
111.0ms
(* (/ l Om) (* n (- U* U)))
2.0s
(sqrt (* 2 (* U (+ (* n t) (* n (- (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))))

simplify2.7s

Counts
133 → 133
Iterations
IterNodes
done5016
24063
1968
0305

prune997.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 22.0b

localize73.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))))))))))

rewrite136.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
23×add-cbrt-cube add-exp-log
21×*-un-lft-identity add-cube-cbrt
19×pow1 times-frac associate-*l*
17×associate-*r*
13×associate-*r/
9×distribute-rgt-in distribute-lft-in prod-exp cbrt-unprod
8×pow-prod-down
4×sub-neg insert-posit16 add-log-exp
3×cbrt-undiv sqrt-pow1 div-exp *-commutative unswap-sqr
2×frac-times flip3-+ flip3-- sqrt-div flip-+ div-inv flip--
1×pow1/2 associate-*l/ sqrt-prod
Counts
4 → 117
Calls
4 calls:
9.0ms
(* n (/ l Om))
23.0ms
(* U (+ (* n t) (* (* n (/ l Om)) (- (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))
61.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:
21.0ms
(* n (/ l Om))
495.0ms
(* U (+ (* n t) (* (* n (/ l Om)) (- (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))
131.0ms
(* (/ l Om) (* n (- U* U)))
2.1s
(sqrt (* 2 (* U (+ (* n t) (* (* n (/ l Om)) (- (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))))

simplify1.9s

Counts
129 → 129
Iterations
IterNodes
done5035
23666
1847
0272

prune1.0s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 21.9b

localize63.0ms

Local error

Found 4 expressions with local error:

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

rewrite225.0ms

Algorithm
rewrite-expression-head
Rules
35×add-cbrt-cube add-exp-log
26×pow1
19×associate-*l*
18×prod-exp associate-*r/ cbrt-unprod
16×distribute-rgt-in distribute-lft-in
13×add-sqr-sqrt *-un-lft-identity pow-prod-down add-cube-cbrt
9×times-frac
8×distribute-neg-in sub-neg
4×frac-times flip3-- insert-posit16 flip-- distribute-neg-frac add-log-exp
3×cbrt-undiv div-exp associate-*r* *-commutative
2×sqrt-pow1 sqrt-div associate-*l/ distribute-rgt-neg-out
1×flip3-+ pow1/2 sqrt-prod flip-+ div-inv
Counts
4 → 117
Calls
4 calls:
13.0ms
(* U (* n t))
151.0ms
(* U (* (* n (/ l Om)) (- (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))
30.0ms
(* (/ l Om) (* n (- U* U)))
28.0ms
(sqrt (* 2 (+ (* U (* n t)) (* U (* (* n (/ l Om)) (- (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))))

series2.7s

Counts
4 → 12
Calls
4 calls:
39.0ms
(* U (* n t))
294.0ms
(* U (* (* n (/ l Om)) (- (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))
123.0ms
(* (/ l Om) (* n (- U* U)))
2.2s
(sqrt (* 2 (+ (* U (* n t)) (* U (* (* n (/ l Om)) (- (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))))

simplify2.3s

Counts
129 → 129
Iterations
IterNodes
done5002
23835
1889
0288

prune889.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 19.8b

regimes2.0s

Accuracy

55.9% (3.7b remaining)

Error of 23.8b against oracle of 20.0b and baseline of 28.5b

bsearch4.0ms

simplify27.0ms

Iterations
IterNodes
done93
493
392
281
172
043

end0.0ms

sample8.4s

Algorithm
intervals
Results
3.8s14800×body80nan
3.2s9195×body80valid