Details

Time bar (total: 42.6s)

sample270.0ms

Algorithm
intervals
Results
147.0ms544×body80nan
68.0ms289×body80valid

simplify2.6s

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

prune16.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 26.5b

localize47.0ms

Local error

Found 4 expressions with local error:

4.5b
(* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))
5.3b
(* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))
11.9b
(* (/ l Om) (* n (- U* U)))
19.0b
(sqrt (* 2 (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))))

rewrite168.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:
34.0ms
(* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))
20.0ms
(* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))
45.0ms
(* (/ l Om) (* n (- U* U)))
67.0ms
(sqrt (* 2 (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))))

series2.8s

Counts
4 → 12
Calls
4 calls:
420.0ms
(* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))
358.0ms
(* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))
103.0ms
(* (/ l Om) (* n (- U* U)))
1.9s
(sqrt (* 2 (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))))

simplify1.6s

Counts
128 → 128
Iterations
IterNodes
done5000
22837
1709
0248

prune766.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 24.0b

localize74.0ms

Local error

Found 4 expressions with local error:

11.9b
(* (/ l Om) (* n (- U* U)))
19.0b
(sqrt (* 2 (* (sqrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))) (sqrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))))))
19.0b
(sqrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))
19.0b
(sqrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))

rewrite411.0ms

Algorithm
rewrite-expression-head
Rules
48×associate-*r/
27×pow1
24×sqrt-div
16×add-cbrt-cube add-exp-log
13×associate-*l*
12×pow-prod-down
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
10×flip3-- flip--
9×sqrt-pow1 times-frac
8×distribute-rgt-in distribute-lft-in
6×frac-times prod-exp cbrt-unprod
4×sub-neg insert-posit16 add-log-exp
3×pow1/2 associate-*l/ sqrt-prod
2×cbrt-undiv div-exp
1×associate-*r* *-commutative div-inv
Counts
4 → 97
Calls
4 calls:
43.0ms
(* (/ l Om) (* n (- U* U)))
324.0ms
(sqrt (* 2 (* (sqrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))) (sqrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))))))
17.0ms
(sqrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))
24.0ms
(sqrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))

series4.4s

Counts
4 → 12
Calls
4 calls:
108.0ms
(* (/ l Om) (* n (- U* U)))
1.8s
(sqrt (* 2 (* (sqrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))) (sqrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))))))
1.3s
(sqrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))
1.2s
(sqrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))

simplify1.7s

Counts
109 → 109
Iterations
IterNodes
done5006
22035
1593
0224

prune840.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 23.6b

localize55.0ms

Local error

Found 4 expressions with local error:

19.0b
(sqrt (* 2 (* (* (cbrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))) (cbrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))) (cbrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))))))
20.2b
(cbrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))
20.2b
(cbrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))
20.2b
(cbrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))

rewrite200.0ms

Algorithm
rewrite-expression-head
Rules
154×associate-*r/
60×cbrt-div
30×flip3-- flip--
28×frac-times
26×sqrt-div
14×pow1 associate-*l/
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 → 76
Calls
4 calls:
149.0ms
(sqrt (* 2 (* (* (cbrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))) (cbrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))) (cbrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))))))
13.0ms
(cbrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))
21.0ms
(cbrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))
14.0ms
(cbrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))

series3.4s

Counts
4 → 12
Calls
4 calls:
2.0s
(sqrt (* 2 (* (* (cbrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))) (cbrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))) (cbrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))))))
530.0ms
(cbrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))
469.0ms
(cbrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))
450.0ms
(cbrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))

simplify3.3s

Counts
88 → 88
Iterations
IterNodes
done5001
34931
21346
1505
0245

prune979.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 23.6b

localize88.0ms

Local error

Found 4 expressions with local error:

17.0b
(cbrt (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))
19.0b
(sqrt (* 2 (* (* (cbrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))) (cbrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))) (* (cbrt U) (cbrt (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))))))
20.2b
(cbrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))
20.2b
(cbrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))

rewrite278.0ms

Algorithm
rewrite-expression-head
Rules
152×associate-*r/
60×cbrt-div
30×flip3-- flip--
28×frac-times
26×sqrt-div
23×pow1
14×associate-*l/
13×pow-prod-down
6×sqrt-pow1
4×add-sqr-sqrt *-un-lft-identity 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 → 78
Calls
4 calls:
5.0ms
(cbrt (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))
244.0ms
(sqrt (* 2 (* (* (cbrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))) (cbrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))) (* (cbrt U) (cbrt (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))))))
14.0ms
(cbrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))
14.0ms
(cbrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))

series4.6s

Counts
4 → 12
Calls
4 calls:
521.0ms
(cbrt (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))
2.9s
(sqrt (* 2 (* (* (cbrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))) (cbrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))) (* (cbrt U) (cbrt (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))))))
565.0ms
(cbrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))
531.0ms
(cbrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))

simplify2.7s

Counts
90 → 90
Iterations
IterNodes
done5000
22267
1713
0298

prune1.0s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 23.3b

regimes1.6s

Accuracy

45.2% (5.1b remaining)

Error of 28.1b against oracle of 22.9b and baseline of 32.3b

bsearch4.0ms

simplify19.0ms

Iterations
IterNodes
done64
164
047

end0.0ms

sample8.6s

Algorithm
intervals
Results
4.9s14841×body80nan
2.3s9189×body80valid