Details

Time bar (total: 22.9s)

sample92.0ms

Algorithm
intervals
Results
35.0ms278×body80nan
27.0ms256×body80valid

simplify3.5s

Counts
1 → 1
Iterations
IterNodes
done5000
44048
3819
2163
144
019

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize35.0ms

Local error

Found 4 expressions with local error:

0.1b
(* 5.0 (* v v))
0.2b
(* PI t)
0.2b
(/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))))
0.5b
(* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))

rewrite188.0ms

Algorithm
rewrite-expression-head
Rules
30×add-cbrt-cube add-exp-log
18×associate-*r/
16×pow1
13×add-sqr-sqrt prod-exp cbrt-unprod
10×*-un-lft-identity add-cube-cbrt
8×flip3-- sqrt-div associate-*r* associate-/r/ flip--
7×associate-*l* pow-prod-down
4×frac-times cbrt-undiv div-exp add-log-exp
3×times-frac *-commutative associate-/l*
2×associate-*l/ unswap-sqr associate-/l/
1×clear-num associate-/r* frac-2neg div-sub sqrt-prod div-inv
Counts
4 → 94
Calls
4 calls:
13.0ms
(* 5.0 (* v v))
5.0ms
(* PI t)
122.0ms
(/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))))
43.0ms
(* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))

series1.2s

Counts
4 → 12
Calls
4 calls:
32.0ms
(* 5.0 (* v v))
22.0ms
(* PI t)
883.0ms
(/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))))
271.0ms
(* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))

simplify1.4s

Counts
106 → 106
Iterations
IterNodes
done5001
1807
0253

prune787.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize112.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* v v) (* v v))
0.2b
(* (* 5.0 v) v)
0.4b
(/ (/ (- 1.0 (* (* 5.0 v) v)) PI) (* t (sqrt (* 2.0 (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v))))))))
0.4b
(* t (sqrt (* 2.0 (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))))

rewrite143.0ms

Algorithm
rewrite-expression-head
Rules
122×pow1
36×pow-prod-up
35×add-cbrt-cube add-exp-log
31×times-frac
27×pow-prod-down
23×add-sqr-sqrt
22×pow-sqr
21×*-un-lft-identity add-cube-cbrt
18×pow-plus
14×prod-exp cbrt-unprod
13×pow2 associate-/l*
8×associate-*r* associate-*r/
6×cbrt-undiv div-exp
5×associate-*l*
4×sqrt-div add-log-exp
3×*-commutative div-inv
2×flip3-- div-sub associate-/r/ flip-- unswap-sqr
1×clear-num associate-/r* frac-2neg swap-sqr sqrt-prod associate-/l/
Counts
4 → 151
Calls
4 calls:
27.0ms
(* (* v v) (* v v))
23.0ms
(* (* 5.0 v) v)
48.0ms
(/ (/ (- 1.0 (* (* 5.0 v) v)) PI) (* t (sqrt (* 2.0 (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v))))))))
38.0ms
(* t (sqrt (* 2.0 (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))))

series856.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(* (* v v) (* v v))
31.0ms
(* (* 5.0 v) v)
522.0ms
(/ (/ (- 1.0 (* (* 5.0 v) v)) PI) (* t (sqrt (* 2.0 (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v))))))))
255.0ms
(* t (sqrt (* 2.0 (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))))

simplify2.6s

Counts
163 → 163
Iterations
IterNodes
done5001
24088
1742
0261

prune1.1s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize78.0ms

Local error

Found 4 expressions with local error:

0.1b
(* 3.0 (* v v))
0.1b
(* (* v v) (* v v))
0.1b
(* 5.0 (* v v))
0.3b
(* (/ 1 t) (/ (- 1.0 (* 5.0 (* v v))) (* (sqrt (* 2.0 (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))) PI)))

rewrite280.0ms

Algorithm
rewrite-expression-head
Rules
127×pow1
65×add-exp-log
47×add-cbrt-cube
36×pow-prod-up
30×pow-prod-down prod-exp
24×add-sqr-sqrt
22×pow-sqr cbrt-unprod
20×associate-*l*
18×pow-plus
16×*-un-lft-identity
15×add-cube-cbrt
14×times-frac div-exp
13×pow2
12×associate-*r*
7×cbrt-undiv
6×unswap-sqr
4×*-commutative add-log-exp
3×rec-exp 1-exp associate-*l/ associate-*r/
2×sqrt-div associate-/r/ div-inv
1×frac-times flip3-- swap-sqr flip--
Counts
4 → 156
Calls
4 calls:
22.0ms
(* 3.0 (* v v))
24.0ms
(* (* v v) (* v v))
17.0ms
(* 5.0 (* v v))
204.0ms
(* (/ 1 t) (/ (- 1.0 (* 5.0 (* v v))) (* (sqrt (* 2.0 (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))) PI)))

series617.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(* 3.0 (* v v))
37.0ms
(* (* v v) (* v v))
52.0ms
(* 5.0 (* v v))
499.0ms
(* (/ 1 t) (/ (- 1.0 (* 5.0 (* v v))) (* (sqrt (* 2.0 (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))) PI)))

simplify1.7s

Counts
168 → 168
Iterations
IterNodes
done5001
1764
0245

prune1.0s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize99.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* v v) (* v v))
0.2b
(* v (* v 5.0))
0.2b
(* t (* (sqrt (* 2.0 (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))) PI))
0.2b
(/ (- 1.0 (* v (* v 5.0))) (* t (* (sqrt (* 2.0 (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))) PI)))

rewrite274.0ms

Algorithm
rewrite-expression-head
Rules
125×pow1
36×pow-prod-up
35×add-cbrt-cube add-exp-log
29×pow-prod-down
22×pow-sqr
18×pow-plus
17×prod-exp cbrt-unprod
13×pow2
8×add-sqr-sqrt *-un-lft-identity associate-*r/ add-cube-cbrt
7×associate-*l*
4×sqrt-div associate-*l/ add-log-exp
3×cbrt-undiv times-frac flip3-- div-exp associate-*r* *-commutative flip-- associate-/l*
2×associate-/r/ associate-/l/
1×clear-num associate-/r* frac-2neg div-sub swap-sqr div-inv unswap-sqr
Counts
4 → 129
Calls
4 calls:
31.0ms
(* (* v v) (* v v))
13.0ms
(* v (* v 5.0))
91.0ms
(* t (* (sqrt (* 2.0 (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))) PI))
132.0ms
(/ (- 1.0 (* v (* v 5.0))) (* t (* (sqrt (* 2.0 (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))) PI)))

series737.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(* (* v v) (* v v))
31.0ms
(* v (* v 5.0))
232.0ms
(* t (* (sqrt (* 2.0 (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))) PI))
430.0ms
(/ (- 1.0 (* v (* v 5.0))) (* t (* (sqrt (* 2.0 (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))) PI)))

simplify2.4s

Counts
141 → 141
Iterations
IterNodes
done5002
23789
1623
0205

prune784.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes219.0ms

Accuracy

0% (0.3b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 0.3b

bsearch0.0ms

simplify7.0ms

Iterations
IterNodes
done46
146
033

end0.0ms

sample2.6s

Algorithm
intervals
Results
1.3s8000×body80valid
904.0ms8051×body80nan