Details

Time bar (total: 2.4m)

sample663.0ms

Algorithm
intervals
Results
572.0ms497×body80valid

simplify273.0ms

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

prune21.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.5b

localize39.0ms

Local error

Found 4 expressions with local error:

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

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
141×times-frac
105×add-sqr-sqrt *-un-lft-identity
69×add-cube-cbrt
43×pow1
26×add-cbrt-cube add-exp-log
24×difference-of-squares
23×associate-/r*
17×pow-prod-down
12×distribute-lft-out--
9×prod-exp cbrt-unprod
6×div-inv associate-/l*
5×cbrt-undiv div-exp
4×expm1-log1p-u pow-sqr pow-prod-up insert-posit16 log1p-expm1-u add-log-exp
2×clear-num frac-2neg pow-plus
1×pow2 swap-sqr associate-*r* associate-*l* associate-/r/ *-commutative fma-udef
Counts
4 → 181
Calls
4 calls:
Slowest
29.0ms
(* (* w r) (* w r))
19.0ms
(/ (fma v -2 3) (/ (- 1 v) 0.125))
18.0ms
(/ 2 (* r r))
0.0ms
(fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)

series290.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
120.0ms
(fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)
69.0ms
(/ 2 (* r r))
63.0ms
(/ (fma v -2 3) (/ (- 1 v) 0.125))
38.0ms
(* (* w r) (* w r))

simplify14.8s

Counts
216 → 193
Calls
216 calls:
Slowest
735.0ms
(* (* (* (* w w) w) (* (* r r) r)) (* (* (* w w) w) (* (* r r) r)))
632.0ms
(* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r)))
518.0ms
(- 0.25 (+ (* 0.125 (/ 1 v)) (* 0.125 (/ 1 (pow v 2)))))
512.0ms
(- 0.25 (+ (* 0.125 (/ 1 v)) (* 0.125 (/ 1 (pow v 2)))))
346.0ms
(/ (* (* 2 2) 2) (* (* (* r r) r) (* (* r r) r)))

prune2.9s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.1b

localize43.0ms

Local error

Found 4 expressions with local error:

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

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
213×times-frac
145×add-sqr-sqrt *-un-lft-identity
109×add-cube-cbrt
43×pow1
26×add-cbrt-cube add-exp-log
25×associate-/r*
24×difference-of-squares
17×pow-prod-down
16×associate-/l*
12×distribute-lft-out--
10×div-inv
8×prod-exp cbrt-unprod
6×cbrt-undiv div-exp
4×expm1-log1p-u pow-sqr pow-prod-up insert-posit16 log1p-expm1-u add-log-exp
2×clear-num frac-2neg pow-plus
1×pow2 swap-sqr associate-*r* associate-*l* associate-/r/ *-commutative fma-udef associate-/l/
Counts
4 → 230
Calls
4 calls:
Slowest
31.0ms
(* (* w r) (* w r))
10.0ms
(/ (fma v -2 3) (/ (- 1 v) 0.125))
7.0ms
(/ (/ 2 r) r)
0.0ms
(fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)

series267.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
132.0ms
(fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)
50.0ms
(/ (fma v -2 3) (/ (- 1 v) 0.125))
46.0ms
(/ (/ 2 r) r)
39.0ms
(* (* w r) (* w r))

simplify16.7s

Counts
299 → 242
Calls
299 calls:
Slowest
668.0ms
(* (* (* (* w w) w) (* (* r r) r)) (* (* (* w w) w) (* (* r r) r)))
604.0ms
(* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r)))
507.0ms
(- 0.25 (+ (* 0.125 (/ 1 v)) (* 0.125 (/ 1 (pow v 2)))))
422.0ms
(- 0.25 (+ (* 0.125 (/ 1 v)) (* 0.125 (/ 1 (pow v 2)))))
342.0ms
(/ (* (cbrt (fma v -2 3)) (cbrt (fma v -2 3))) (/ (* (cbrt (- 1 v)) (cbrt (- 1 v))) (* (cbrt 0.125) (cbrt 0.125))))

prune3.8s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 0.0b

localize52.0ms

Local error

Found 4 expressions with local error:

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

rewrite105.0ms

Algorithm
rewrite-expression-head
Rules
852×times-frac
610×add-sqr-sqrt
604×*-un-lft-identity
370×add-cube-cbrt
346×sqrt-prod
120×difference-of-squares
95×swap-sqr
78×distribute-lft-out--
75×associate-*r* associate-*l*
58×pow1
44×associate-/r*
28×add-cbrt-cube add-exp-log
26×div-inv
20×pow-prod-down
16×unswap-sqr
9×prod-exp pow-prod-up cbrt-unprod
8×sqrt-pow1 pow1/2
7×pow-sqr
6×cbrt-undiv div-exp associate-/r/ associate-/l*
4×expm1-log1p-u sqrt-div insert-posit16 log1p-expm1-u add-log-exp
3×pow-plus
2×pow2 clear-num frac-2neg *-commutative
1×frac-times rem-square-sqrt sqrt-unprod associate-*l/ associate-*r/
Counts
4 → 544
Calls
4 calls:
Slowest
40.0ms
(* (sqrt (/ (fma v -2 3) (/ (- 1 v) 0.125))) (sqrt (/ (fma v -2 3) (/ (- 1 v) 0.125))))
25.0ms
(* (* w r) (* w r))
10.0ms
(/ (fma v -2 3) (/ (- 1 v) 0.125))
9.0ms
(/ (fma v -2 3) (/ (- 1 v) 0.125))

series268.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
141.0ms
(* (sqrt (/ (fma v -2 3) (/ (- 1 v) 0.125))) (sqrt (/ (fma v -2 3) (/ (- 1 v) 0.125))))
52.0ms
(/ (fma v -2 3) (/ (- 1 v) 0.125))
41.0ms
(/ (fma v -2 3) (/ (- 1 v) 0.125))
34.0ms
(* (* w r) (* w r))

simplify1.0m

Counts
761 → 556
Calls
761 calls:
Slowest
780.0ms
(* (* (* (* w w) w) (* (* r r) r)) (* (* (* w w) w) (* (* r r) r)))
634.0ms
(* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r)))
567.0ms
(- 0.25 (+ (* 0.125 (/ 1 v)) (* 0.125 (/ 1 (pow v 2)))))
556.0ms
(/ (* (* (fma v -2 3) (fma v -2 3)) (fma v -2 3)) (/ (* (* (- 1 v) (- 1 v)) (- 1 v)) (* (* 0.125 0.125) 0.125)))
535.0ms
(- 0.25 (+ (* 0.125 (/ 1 v)) (* 0.125 (/ 1 (pow v 2)))))

prune10.2s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.0b

localize66.0ms

Local error

Found 4 expressions with local error:

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

rewrite158.0ms

Algorithm
rewrite-expression-head
Rules
174×times-frac
146×add-sqr-sqrt *-un-lft-identity
89×add-cube-cbrt
51×pow1
38×difference-of-squares
28×associate-/r* add-cbrt-cube associate-*l* add-exp-log
24×pow-prod-down sqrt-prod
19×distribute-lft-out--
11×prod-exp cbrt-unprod
7×div-inv
6×associate-/l*
5×associate-/r/
4×expm1-log1p-u cbrt-undiv sqrt-div div-exp pow-sqr pow-prod-up insert-posit16 log1p-expm1-u add-log-exp
3×sqrt-pow1 pow1/2 associate-*r/
2×clear-num frac-2neg pow-plus flip3-- sqrt-unprod associate-*r* *-commutative flip--
1×pow2 frac-times swap-sqr associate-*l/
Counts
4 → 241
Calls
4 calls:
Slowest
85.0ms
(* (sqrt (/ (fma v -2 3) (- 1 v))) (* (sqrt 0.125) (sqrt (/ (fma v -2 3) (/ (- 1 v) 0.125)))))
45.0ms
(* (* w r) (* w r))
12.0ms
(/ (fma v -2 3) (/ (- 1 v) 0.125))
8.0ms
(/ (fma v -2 3) (- 1 v))

series298.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
170.0ms
(* (sqrt (/ (fma v -2 3) (- 1 v))) (* (sqrt 0.125) (sqrt (/ (fma v -2 3) (/ (- 1 v) 0.125)))))
48.0ms
(* (* w r) (* w r))
42.0ms
(/ (fma v -2 3) (/ (- 1 v) 0.125))
38.0ms
(/ (fma v -2 3) (- 1 v))

simplify19.8s

Counts
293 → 253
Calls
293 calls:
Slowest
729.0ms
(* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r)))
674.0ms
(* (* (* (* w w) w) (* (* r r) r)) (* (* (* w w) w) (* (* r r) r)))
567.0ms
(- 0.25 (+ (* 0.125 (/ 1 v)) (* 0.125 (/ 1 (pow v 2)))))
463.0ms
(- 0.25 (+ (* 0.125 (/ 1 v)) (* 0.125 (/ 1 (pow v 2)))))
444.0ms
(/ (* (cbrt (fma v -2 3)) (cbrt (fma v -2 3))) (/ (* (cbrt (- 1 v)) (cbrt (- 1 v))) (* (cbrt 0.125) (cbrt 0.125))))

prune5.3s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.0b

regimes730.0ms

Accuracy

0% (0.5b remaining)

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

bsearch5.0ms

end0.0ms

sample5.1s

Algorithm
intervals
Results
4.7s17015×body80valid