Details

Time bar (total: 22.8s)

sample101.0ms

Algorithm
intervals
Results
38.0ms256×body80valid
32.0ms271×body80nan

simplify3.6s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01928
14428
216328
383328
4371728
done500028

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.9b

localize38.0ms

Local error

Found 4 expressions with local error:

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

rewrite281.0ms

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

series1.2s

Counts
4 → 12
Calls
4 calls:
48.0ms
(* 5.0 (* v v))
37.0ms
(* PI t)
249.0ms
(* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))
910.0ms
(/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))))

simplify2.1s

Counts
114 → 114
Iterations

Useful iterations: 2 (755.0ms)

IterNodesCost
02582497
17512332
236272006
done50002006

prune584.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.7b

localize23.0ms

Local error

Found 4 expressions with local error:

0.2b
(* PI t)
0.5b
(* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))
0.8b
(/ (- 1.0 (log (exp (* 5.0 (* v v))))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))))
2.7b
(log (exp (* 5.0 (* v v))))

rewrite315.0ms

Algorithm
rewrite-expression-head
Rules
25×add-exp-log add-cbrt-cube
18×associate-*r/
16×add-sqr-sqrt *-un-lft-identity
14×pow1
10×add-cube-cbrt prod-exp cbrt-unprod
8×flip3-- sqrt-div associate-/r/ flip--
7×associate-*r*
6×times-frac associate-/l*
5×log-pow add-log-exp
4×cbrt-undiv expm1-log1p-u frac-times div-exp associate-*l* pow-prod-down log1p-expm1-u distribute-lft-out--
3×log-prod
2×associate-*l/ *-commutative associate-/l/ difference-of-squares
1×exp-prod exp-to-pow frac-2neg div-sub rem-log-exp clear-num associate-/r* sqrt-prod div-inv unswap-sqr
Counts
4 → 103
Calls
4 calls:
9.0ms
(* PI t)
46.0ms
(* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))
246.0ms
(/ (- 1.0 (log (exp (* 5.0 (* v v))))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))))
5.0ms
(log (exp (* 5.0 (* v v))))

series1.3s

Counts
4 → 12
Calls
4 calls:
37.0ms
(* PI t)
349.0ms
(* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))
866.0ms
(/ (- 1.0 (log (exp (* 5.0 (* v v))))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))))
34.0ms
(log (exp (* 5.0 (* v v))))

simplify2.2s

Counts
115 → 115
Iterations

Useful iterations: 2 (848.0ms)

IterNodesCost
02552799
17232500
235292172
done50002172

prune662.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.7b

localize28.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))
0.8b
(/ (+ (sqrt (* 5.0 (* v v))) (sqrt 1.0)) (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))))
30.4b
(sqrt (* 5.0 (* v v)))
30.4b
(sqrt (* 5.0 (* v v)))

rewrite192.0ms

Algorithm
rewrite-expression-head
Rules
21×pow1
18×add-exp-log add-cbrt-cube
11×*-un-lft-identity
9×pow-prod-down
8×associate-*r/
7×add-sqr-sqrt add-cube-cbrt
6×sqrt-pow1 prod-exp cbrt-unprod
4×expm1-log1p-u times-frac sqrt-div associate-*r* log1p-expm1-u associate-/l* add-log-exp
3×cbrt-undiv div-exp sqrt-prod
2×flip3-- pow1/2 associate-/r/ flip-- associate-/l/ distribute-lft-out
1×frac-2neg flip3-+ associate-*l* clear-num associate-/r* *-commutative flip-+ div-inv
Counts
4 → 82
Calls
4 calls:
42.0ms
(* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))
87.0ms
(/ (+ (sqrt (* 5.0 (* v v))) (sqrt 1.0)) (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))))
29.0ms
(sqrt (* 5.0 (* v v)))
30.0ms
(sqrt (* 5.0 (* v v)))

series889.0ms

Counts
4 → 12
Calls
4 calls:
314.0ms
(* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))
472.0ms
(/ (+ (sqrt (* 5.0 (* v v))) (sqrt 1.0)) (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))))
51.0ms
(sqrt (* 5.0 (* v v)))
51.0ms
(sqrt (* 5.0 (* v v)))

simplify1.5s

Counts
94 → 94
Iterations

Useful iterations: 2 (416.0ms)

IterNodesCost
01731893
14781758
219661534
done50001534

prune608.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.2b

localize37.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (sqrt (* 2.0 (- (* 1.0 1.0) (* (* 3.0 3.0) (pow v 4))))) t)
0.6b
(/ (/ (+ (sqrt (* 5.0 (* v v))) (sqrt 1.0)) PI) (* (sqrt (* 2.0 (- (* 1.0 1.0) (* (* 3.0 3.0) (pow v 4))))) t))
30.4b
(sqrt (* 5.0 (* v v)))
30.4b
(sqrt (* 5.0 (* v v)))

rewrite243.0ms

Algorithm
rewrite-expression-head
Rules
40×times-frac
34×*-un-lft-identity
24×add-sqr-sqrt
22×add-cube-cbrt
18×pow1 add-exp-log add-cbrt-cube
16×associate-/l*
7×pow-prod-down
6×cbrt-undiv sqrt-pow1 div-exp distribute-lft-out
4×expm1-log1p-u sqrt-div associate-*r/ associate-*l* associate-*l/ log1p-expm1-u add-log-exp
3×associate-*r* prod-exp sqrt-prod cbrt-unprod div-inv
2×flip3-- pow1/2 associate-/r/ flip--
1×frac-2neg clear-num associate-/r* *-commutative associate-/l/ unswap-sqr
Counts
4 → 107
Calls
4 calls:
67.0ms
(* (sqrt (* 2.0 (- (* 1.0 1.0) (* (* 3.0 3.0) (pow v 4))))) t)
126.0ms
(/ (/ (+ (sqrt (* 5.0 (* v v))) (sqrt 1.0)) PI) (* (sqrt (* 2.0 (- (* 1.0 1.0) (* (* 3.0 3.0) (pow v 4))))) t))
21.0ms
(sqrt (* 5.0 (* v v)))
21.0ms
(sqrt (* 5.0 (* v v)))

series847.0ms

Counts
4 → 12
Calls
4 calls:
182.0ms
(* (sqrt (* 2.0 (- (* 1.0 1.0) (* (* 3.0 3.0) (pow v 4))))) t)
569.0ms
(/ (/ (+ (sqrt (* 5.0 (* v v))) (sqrt 1.0)) PI) (* (sqrt (* 2.0 (- (* 1.0 1.0) (* (* 3.0 3.0) (pow v 4))))) t))
49.0ms
(sqrt (* 5.0 (* v v)))
47.0ms
(sqrt (* 5.0 (* v v)))

simplify1.8s

Counts
119 → 119
Iterations

Useful iterations: done (1.8s)

IterNodesCost
02132943
15072794
218162515
done50002503

prune903.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

regimes226.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03355
14455
done4455

end0.0ms

sample3.1s

Algorithm
intervals
Results
1.5s8000×body80valid
1.1s8045×body80nan