Details

Time bar (total: 34.0s)

sample190.0ms

Algorithm
intervals
Results
81.0ms562×body80valid

simplify519.0ms

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

prune26.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize52.0ms

Local error

Found 4 expressions with local error:

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

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt associate-+l+ *-un-lft-identity
12×prod-diff add-cube-cbrt
9×pow1
6×add-cbrt-cube add-exp-log
5×fma-def
4×expm1-log1p-u insert-posit16 log1p-expm1-u div-inv add-log-exp
1×pow2 +-commutative clear-num associate-/r* sub-neg frac-2neg flip3-+ pow-plus associate-*r* associate-*l* pow-prod-down prod-exp *-commutative pow-prod-up associate-+l- cbrt-unprod flip-+ fma-udef distribute-lft-out-- difference-of-squares
Calls
4 calls:
Slowest
49.0ms
(+ (- (/ 2 (* r r)) (fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5)) 3)
4.0ms
(* (* w r) (* w r))
2.0ms
(/ 2 (* r r))
0.0ms
(fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5)

series359.0ms

Calls
4 calls:
Slowest
147.0ms
(+ (- (/ 2 (* r r)) (fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5)) 3)
114.0ms
(fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5)
53.0ms
(/ 2 (* r r))
44.0ms
(* (* w r) (* w r))

simplify5.7s

Calls
36 calls:
Slowest
431.0ms
(fma (sqrt (/ 2 (* r r))) (sqrt (/ 2 (* r r))) (- (* (fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5) 1)))
409.0ms
(fma 2 (/ 1 (* r r)) (- (* (fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5) 1)))
373.0ms
(fma (* (cbrt (/ 2 (* r r))) (cbrt (/ 2 (* r r)))) (cbrt (/ 2 (* r r))) (- (* (fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5) 1)))
353.0ms
(fma 1 (/ 2 (* r r)) (- (* (fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5) 1)))
332.0ms
(fma (sqrt (/ 2 (* r r))) (sqrt (/ 2 (* r r))) (- (* (sqrt (fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5)) (sqrt (fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5)))))

prune1.2s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt *-un-lft-identity
14×associate-+l+
13×add-cube-cbrt
12×prod-diff
9×pow1
6×add-cbrt-cube add-exp-log
5×fma-def div-inv
4×expm1-log1p-u insert-posit16 log1p-expm1-u associate-/l* add-log-exp
1×pow2 +-commutative clear-num sub-neg frac-2neg flip3-+ pow-plus associate-*r* associate-*l* pow-prod-down prod-exp *-commutative pow-prod-up associate-+l- cbrt-unprod flip-+ fma-udef distribute-lft-out-- difference-of-squares associate-/l/
Calls
4 calls:
Slowest
53.0ms
(+ (- (/ (/ 2 r) r) (fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5)) 3)
8.0ms
(* (* w r) (* w r))
6.0ms
(/ (/ 2 r) r)
0.0ms
(fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5)

series329.0ms

Calls
4 calls:
Slowest
119.0ms
(+ (- (/ (/ 2 r) r) (fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5)) 3)
113.0ms
(fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5)
55.0ms
(* (* w r) (* w r))
41.0ms
(/ (/ 2 r) r)

simplify5.6s

Calls
38 calls:
Slowest
434.0ms
(fma (sqrt (/ (/ 2 r) r)) (sqrt (/ (/ 2 r) r)) (- (* (fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5) 1)))
404.0ms
(fma 1 (/ (/ 2 r) r) (- (* (fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5) 1)))
379.0ms
(fma (* (cbrt (/ (/ 2 r) r)) (cbrt (/ (/ 2 r) r))) (cbrt (/ (/ 2 r) r)) (- (* (fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5) 1)))
371.0ms
(fma (/ 2 r) (/ 1 r) (- (* (fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5) 1)))
347.0ms
(fma (sqrt (/ (/ 2 r) r)) (sqrt (/ (/ 2 r) r)) (- (* (sqrt (fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5)) (sqrt (fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5)))))

prune1.4s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1
6×add-sqr-sqrt *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
4×expm1-log1p-u insert-posit16 log1p-expm1-u associate-/l* add-log-exp
3×fma-neg
2×fma-udef div-inv
1×pow2 clear-num sub-neg frac-2neg pow-plus flip3-- associate-*r* associate-*l* pow-prod-down prod-exp associate--l+ *-commutative pow-prod-up cbrt-unprod flip-- associate-/l/
Calls
4 calls:
Slowest
8.0ms
(- (fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5) 3)
4.0ms
(* (* w r) (* w r))
3.0ms
(/ (/ 2 r) r)
0.0ms
(fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5)

series322.0ms

Calls
4 calls:
Slowest
121.0ms
(- (fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5) 3)
118.0ms
(fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5)
42.0ms
(* (* w r) (* w r))
40.0ms
(/ (/ 2 r) r)

simplify1.8s

Calls
23 calls:
Slowest
363.0ms
(* (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)))
281.0ms
(* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r)))
212.0ms
(* (cbrt (fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5)) (cbrt (fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5)))
166.0ms
(sqrt (fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5))
165.0ms
(- (* 0.25 (* (pow r 2) (pow w 2))) (+ (* 0.125 (/ (* (pow r 2) (pow w 2)) v)) (* 0.125 (/ (* (pow r 2) (pow w 2)) (pow v 2)))))

prune1.2s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 4 expressions with local error:

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

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
20×add-cbrt-cube add-exp-log
14×pow1
10×associate-*l*
9×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
7×prod-exp cbrt-unprod
6×times-frac
5×associate-/l*
4×expm1-log1p-u pow-prod-down associate-/r/ insert-posit16 log1p-expm1-u div-inv add-log-exp
3×cbrt-undiv associate-/r* div-exp
2×clear-num frac-2neg flip3-- associate-*r* *-commutative flip--
1×pow2 pow-plus associate-*l/ pow-prod-up associate-/l/
Calls
4 calls:
Slowest
19.0ms
(* (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)))
10.0ms
(/ (* (fma v -2 3) 0.125) (- 1 v))
6.0ms
(* (* w r) (* w r))
3.0ms
(/ (/ 2 r) r)

series226.0ms

Calls
4 calls:
Slowest
86.0ms
(* (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)))
62.0ms
(/ (* (fma v -2 3) 0.125) (- 1 v))
43.0ms
(* (* w r) (* w r))
35.0ms
(/ (/ 2 r) r)

simplify7.9s

Calls
54 calls:
Slowest
844.0ms
(* (/ (* (* (* (fma v -2 3) 0.125) (* (fma v -2 3) 0.125)) (* (fma v -2 3) 0.125)) (* (* (- 1 v) (- 1 v)) (- 1 v))) (* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r))))
721.0ms
(* (/ (* (* (* (fma v -2 3) 0.125) (* (fma v -2 3) 0.125)) (* (fma v -2 3) 0.125)) (* (* (- 1 v) (- 1 v)) (- 1 v))) (* (* (* (* w r) (* w r)) (* (* w r) (* w r))) (* (* w r) (* w r))))
553.0ms
(- 0.25 (+ (* 0.125 (/ 1 v)) (* 0.125 (/ 1 (pow v 2)))))
515.0ms
(- (* 0.25 (* (pow r 2) (pow w 2))) (+ (* 0.125 (/ (* (pow r 2) (pow w 2)) v)) (* 0.125 (/ (* (pow r 2) (pow w 2)) (pow v 2)))))
515.0ms
(- 0.25 (+ (* 0.125 (/ 1 v)) (* 0.125 (/ 1 (pow v 2)))))

prune1.5s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

regimes534.0ms

Accuracy

0% (0.2b remaining)

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

bsearch8.0ms

end0.0ms

sample4.9s

Algorithm
intervals
Results
4.5s17158×body80valid