Details

Time bar (total: 3.8m)

sample411.0ms

Algorithm
intervals
Results
177.0ms562×body80valid

simplify272.0ms

Calls
1 calls:
Slowest
271.0ms
(- (- (+ 3 (/ 2 (* r r))) (/ (* (* 0.125 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 4.5)

prune23.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize66.0ms

Local error

Found 4 expressions with local error:

0.7b
(/ 0.125 (/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r))))
0.5b
(/ 2 (* r r))
0.4b
(* (* w r) (* w r))
0.3b
(/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r)))

rewrite144.0ms

Algorithm
rewrite-expression-head
Rules
315×times-frac
153×add-sqr-sqrt *-un-lft-identity
115×add-cbrt-cube add-exp-log
99×add-cube-cbrt
43×pow1 cbrt-undiv div-exp
41×prod-exp cbrt-unprod
36×difference-of-squares
30×associate-/r* associate-/l*
18×distribute-lft-out--
17×pow-prod-down
13×associate-/r/ div-inv
6×flip3-- flip--
4×pow-sqr pow-prod-up insert-posit16 add-log-exp
3×clear-num frac-2neg
2×pow-plus div-sub
1×pow2 swap-sqr associate-*r* associate-*l* *-commutative associate-/l/
Calls
4 calls:
Slowest
69.0ms
(/ 0.125 (/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r))))
38.0ms
(/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r)))
22.0ms
(* (* w r) (* w r))
6.0ms
(/ 2 (* r r))

series407.0ms

Calls
4 calls:
Slowest
182.0ms
(/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r)))
88.0ms
(/ 0.125 (/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r))))
78.0ms
(* (* w r) (* w r))
59.0ms
(/ 2 (* r r))

simplify1.5m

Calls
371 calls:
Slowest
1.3s
(/ (* (* 0.125 0.125) 0.125) (/ (* (* (/ (- 1 v) (- 3 (* 2 v))) (/ (- 1 v) (- 3 (* 2 v)))) (/ (- 1 v) (- 3 (* 2 v)))) (* (* (* (* w w) w) (* (* r r) r)) (* (* (* w r) (* w r)) (* w r)))))
1.3s
(/ (/ (* (* (- 1 v) (- 1 v)) (- 1 v)) (* (* (- 3 (* 2 v)) (- 3 (* 2 v))) (- 3 (* 2 v)))) (* (* (* (* w r) (* w r)) (* w r)) (* (* (* w w) w) (* (* r r) r))))
1.1s
(/ (* (* 0.125 0.125) 0.125) (/ (/ (* (* (- 1 v) (- 1 v)) (- 1 v)) (* (* (- 3 (* 2 v)) (- 3 (* 2 v))) (- 3 (* 2 v)))) (* (* (* (* w r) (* w r)) (* w r)) (* (* (* w w) w) (* (* r r) r)))))
1.1s
(/ (* (* 0.125 0.125) 0.125) (/ (/ (* (* (- 1 v) (- 1 v)) (- 1 v)) (* (* (- 3 (* 2 v)) (- 3 (* 2 v))) (- 3 (* 2 v)))) (* (* (* (* w w) w) (* (* r r) r)) (* (* (* w r) (* w r)) (* w r)))))
1.1s
(/ (* (* 0.125 0.125) 0.125) (/ (/ (* (* (- 1 v) (- 1 v)) (- 1 v)) (* (* (- 3 (* 2 v)) (- 3 (* 2 v))) (- 3 (* 2 v)))) (* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r)))))

prune4.7s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ 2 (* r r))
0.4b
(* (* w r) (* w r))
0.1b
(* (/ 0.125 (/ (- 1 v) (- 3 (* 2 v)))) (* (* w r) (* w r)))
0.0b
(- (+ 3 (/ 2 (* r r))) 4.5)

rewrite268.0ms

Algorithm
rewrite-expression-head
Rules
132×times-frac
96×add-sqr-sqrt
93×*-un-lft-identity
90×add-cbrt-cube add-exp-log
78×associate-*l*
61×pow1 add-cube-cbrt
48×prod-exp cbrt-unprod
30×pow-prod-down
19×difference-of-squares
17×cbrt-undiv div-exp
11×distribute-lft-out--
9×add-log-exp
7×associate-/r/
5×div-inv
4×flip3-- pow-sqr pow-prod-up insert-posit16 flip--
3×associate-/l* unswap-sqr
2×pow-plus diff-log associate-*r* *-commutative
1×pow2 clear-num associate-/r* sum-log sub-neg frac-2neg swap-sqr associate-*l/ associate--l+ distribute-lft-out
Calls
4 calls:
Slowest
146.0ms
(* (/ 0.125 (/ (- 1 v) (- 3 (* 2 v)))) (* (* w r) (* w r)))
89.0ms
(- (+ 3 (/ 2 (* r r))) 4.5)
22.0ms
(* (* w r) (* w r))
6.0ms
(/ 2 (* r r))

series257.0ms

Calls
4 calls:
Slowest
98.0ms
(* (/ 0.125 (/ (- 1 v) (- 3 (* 2 v)))) (* (* w r) (* w r)))
76.0ms
(- (+ 3 (/ 2 (* r r))) 4.5)
47.0ms
(* (* w r) (* w r))
35.0ms
(/ 2 (* r r))

simplify31.9s

Calls
180 calls:
Slowest
1.1s
(* (/ (* (* 0.125 0.125) 0.125) (* (* (/ (- 1 v) (- 3 (* 2 v))) (/ (- 1 v) (- 3 (* 2 v)))) (/ (- 1 v) (- 3 (* 2 v))))) (* (* (* (* w w) w) (* (* r r) r)) (* (* (* w r) (* w r)) (* w r))))
1.1s
(* (/ (* (* 0.125 0.125) 0.125) (/ (* (* (- 1 v) (- 1 v)) (- 1 v)) (* (* (- 3 (* 2 v)) (- 3 (* 2 v))) (- 3 (* 2 v))))) (* (* (* (* w w) w) (* (* r r) r)) (* (* (* w w) w) (* (* r r) r))))
1.0s
(* (/ (* (* 0.125 0.125) 0.125) (/ (* (* (- 1 v) (- 1 v)) (- 1 v)) (* (* (- 3 (* 2 v)) (- 3 (* 2 v))) (- 3 (* 2 v))))) (* (* (* (* w w) w) (* (* r r) r)) (* (* (* w r) (* w r)) (* w r))))
984.0ms
(* (/ (* (* 0.125 0.125) 0.125) (/ (* (* (- 1 v) (- 1 v)) (- 1 v)) (* (* (- 3 (* 2 v)) (- 3 (* 2 v))) (- 3 (* 2 v))))) (* (* (* (* w r) (* w r)) (* (* w r) (* w r))) (* (* w r) (* w r))))
946.0ms
(* (/ (* (* 0.125 0.125) 0.125) (/ (* (* (- 1 v) (- 1 v)) (- 1 v)) (* (* (- 3 (* 2 v)) (- 3 (* 2 v))) (- 3 (* 2 v))))) (* (* (* (* w r) (* w r)) (* w r)) (* (* (* w w) w) (* (* r r) r))))

prune3.5s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize49.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (* w r) (* w r))
0.2b
(/ (/ 2 r) r)
0.1b
(* (/ 0.125 (/ (- 1 v) (- 3 (* 2 v)))) (* (* w r) (* w r)))
0.0b
(- (+ 3 (/ (/ 2 r) r)) 4.5)

rewrite252.0ms

Algorithm
rewrite-expression-head
Rules
204×times-frac
136×add-sqr-sqrt
133×*-un-lft-identity
101×add-cube-cbrt
90×add-cbrt-cube add-exp-log
78×associate-*l*
61×pow1
47×prod-exp cbrt-unprod
30×pow-prod-down
19×difference-of-squares
18×cbrt-undiv div-exp
13×associate-/l*
11×distribute-lft-out--
9×div-inv add-log-exp
7×associate-/r/
4×flip3-- pow-sqr pow-prod-up insert-posit16 flip--
3×associate-/r* unswap-sqr
2×pow-plus diff-log associate-*r* *-commutative
1×pow2 clear-num sum-log sub-neg frac-2neg swap-sqr associate-*l/ associate--l+ distribute-lft-out associate-/l/
Calls
4 calls:
Slowest
135.0ms
(* (/ 0.125 (/ (- 1 v) (- 3 (* 2 v)))) (* (* w r) (* w r)))
55.0ms
(- (+ 3 (/ (/ 2 r) r)) 4.5)
43.0ms
(* (* w r) (* w r))
14.0ms
(/ (/ 2 r) r)

series253.0ms

Calls
4 calls:
Slowest
121.0ms
(* (/ 0.125 (/ (- 1 v) (- 3 (* 2 v)))) (* (* w r) (* w r)))
67.0ms
(- (+ 3 (/ (/ 2 r) r)) 4.5)
34.0ms
(/ (/ 2 r) r)
31.0ms
(* (* w r) (* w r))

simplify33.2s

Calls
263 calls:
Slowest
1.1s
(* (/ (* (* 0.125 0.125) 0.125) (/ (* (* (- 1 v) (- 1 v)) (- 1 v)) (* (* (- 3 (* 2 v)) (- 3 (* 2 v))) (- 3 (* 2 v))))) (* (* (* (* w w) w) (* (* r r) r)) (* (* (* w r) (* w r)) (* w r))))
1.0s
(* (/ (* (* 0.125 0.125) 0.125) (* (* (/ (- 1 v) (- 3 (* 2 v))) (/ (- 1 v) (- 3 (* 2 v)))) (/ (- 1 v) (- 3 (* 2 v))))) (* (* (* (* w w) w) (* (* r r) r)) (* (* (* w r) (* w r)) (* w r))))
995.0ms
(* (/ (* (* 0.125 0.125) 0.125) (* (* (/ (- 1 v) (- 3 (* 2 v))) (/ (- 1 v) (- 3 (* 2 v)))) (/ (- 1 v) (- 3 (* 2 v))))) (* (* (* (* w r) (* w r)) (* w r)) (* (* (* w w) w) (* (* r r) r))))
968.0ms
(* (/ (* (* 0.125 0.125) 0.125) (/ (* (* (- 1 v) (- 1 v)) (- 1 v)) (* (* (- 3 (* 2 v)) (- 3 (* 2 v))) (- 3 (* 2 v))))) (* (* (* (* w r) (* w r)) (* w r)) (* (* (* w w) w) (* (* r r) r))))
910.0ms
(* (/ (* (* 0.125 0.125) 0.125) (/ (* (* (- 1 v) (- 1 v)) (- 1 v)) (* (* (- 3 (* 2 v)) (- 3 (* 2 v))) (- 3 (* 2 v))))) (* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r))))

prune3.9s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ 2 (* r r))
0.4b
(* (* w r) (* w r))
0.1b
(* (/ 0.125 (/ (- 1 v) (- 3 (* 2 v)))) (* (* w r) (* w r)))
0.0b
(/ 0.125 (/ (- 1 v) (- 3 (* 2 v))))

rewrite216.0ms

Algorithm
rewrite-expression-head
Rules
276×times-frac
195×add-sqr-sqrt
189×*-un-lft-identity
126×add-cube-cbrt
95×add-cbrt-cube add-exp-log
78×associate-*l*
61×pow1
48×prod-exp cbrt-unprod
42×difference-of-squares
30×pow-prod-down
25×associate-/r*
21×distribute-lft-out--
20×cbrt-undiv div-exp
16×associate-/r/
10×div-inv
7×flip3-- flip--
6×associate-/l*
4×pow-sqr pow-prod-up insert-posit16 add-log-exp
3×unswap-sqr
2×clear-num frac-2neg pow-plus associate-*r* *-commutative
1×pow2 swap-sqr associate-*l/
Calls
4 calls:
Slowest
126.0ms
(* (/ 0.125 (/ (- 1 v) (- 3 (* 2 v)))) (* (* w r) (* w r)))
47.0ms
(* (* w r) (* w r))
25.0ms
(/ 0.125 (/ (- 1 v) (- 3 (* 2 v))))
6.0ms
(/ 2 (* r r))

series219.0ms

Calls
4 calls:
Slowest
93.0ms
(* (/ 0.125 (/ (- 1 v) (- 3 (* 2 v)))) (* (* w r) (* w r)))
51.0ms
(* (* w r) (* w r))
44.0ms
(/ 0.125 (/ (- 1 v) (- 3 (* 2 v))))
31.0ms
(/ 2 (* r r))

simplify48.4s

Calls
349 calls:
Slowest
1.4s
(* (/ (* (* 0.125 0.125) 0.125) (* (* (/ (- 1 v) (- 3 (* 2 v))) (/ (- 1 v) (- 3 (* 2 v)))) (/ (- 1 v) (- 3 (* 2 v))))) (* (* (* (* w r) (* w r)) (* w r)) (* (* (* w w) w) (* (* r r) r))))
1.1s
(* (/ (* (* 0.125 0.125) 0.125) (/ (* (* (- 1 v) (- 1 v)) (- 1 v)) (* (* (- 3 (* 2 v)) (- 3 (* 2 v))) (- 3 (* 2 v))))) (* (* (* (* w w) w) (* (* r r) r)) (* (* (* w r) (* w r)) (* w r))))
973.0ms
(* (/ (* (* 0.125 0.125) 0.125) (/ (* (* (- 1 v) (- 1 v)) (- 1 v)) (* (* (- 3 (* 2 v)) (- 3 (* 2 v))) (- 3 (* 2 v))))) (* (* (* (* w r) (* w r)) (* w r)) (* (* (* w w) w) (* (* r r) r))))
935.0ms
(* (/ (* (* 0.125 0.125) 0.125) (/ (* (* (- 1 v) (- 1 v)) (- 1 v)) (* (* (- 3 (* 2 v)) (- 3 (* 2 v))) (- 3 (* 2 v))))) (* (* (* (* w w) w) (* (* r r) r)) (* (* (* w w) w) (* (* r r) r))))
909.0ms
(* (/ (* (* 0.125 0.125) 0.125) (/ (* (* (- 1 v) (- 1 v)) (- 1 v)) (* (* (- 3 (* 2 v)) (- 3 (* 2 v))) (- 3 (* 2 v))))) (* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r))))

prune4.2s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

regimes327.0ms

Accuracy

0% (0.3b remaining)

Error of 0.4b against oracle of 0.1b and baseline of 0.4b

bsearch4.0ms

end0.0ms

sample4.7s

Algorithm
intervals
Results
4.2s17158×body80valid