Details

Time bar (total: 56.9s)

sample62.0ms

Algorithm
intervals
Results
23.0ms256×body80valid
23.0ms259×body80nan

simplify209.0ms

Calls
1 calls:
Slowest
209.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize32.0ms

Local error

Found 3 expressions with local error:

0.2b
(* 3 (* v v))
0.0b
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
0.0b
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))

rewrite141.0ms

Algorithm
rewrite-expression-head
Rules
38×add-sqr-sqrt
26×associate-*l*
22×times-frac add-cbrt-cube add-exp-log
21×*-un-lft-identity
20×add-cube-cbrt
18×frac-times
17×sqrt-prod
16×sqrt-div
15×pow1
14×flip3-- flip--
12×associate-*r*
10×prod-exp associate-*r/ cbrt-unprod
9×associate-*l/
7×pow-prod-down unswap-sqr
3×*-commutative insert-posit16 add-log-exp
2×distribute-rgt-in cbrt-undiv sub-neg distribute-lft-in div-exp difference-of-squares
1×div-inv
Calls
3 calls:
Slowest
69.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
38.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
32.0ms
(* 3 (* v v))

series590.0ms

Calls
3 calls:
Slowest
332.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
218.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
39.0ms
(* 3 (* v v))

simplify16.0s

Calls
115 calls:
Slowest
860.0ms
(* (* (* (/ (sqrt 2) 4) (/ (sqrt 2) 4)) (/ (sqrt 2) 4)) (* (* (sqrt (- 1 (* 3 (* v v)))) (sqrt (- 1 (* 3 (* v v))))) (sqrt (- 1 (* 3 (* v v))))))
450.0ms
(* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3))))
427.0ms
(* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))
417.0ms
(* (sqrt 2) (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v))))))
411.0ms
(* (* (sqrt 2) (sqrt (- 1 (* 3 (* v v))))) (- (pow 1 3) (pow (* v v) 3)))

prune1.3s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize45.0ms

Local error

Found 3 expressions with local error:

0.2b
(* 3 (* v v))
0.0b
(* (sqrt (- 1 (* 3 (* v v)))) (- 1 (* v v)))
0.0b
(* (/ (sqrt 2) 4) (* (sqrt (- 1 (* 3 (* v v)))) (- 1 (* v v))))

rewrite135.0ms

Algorithm
rewrite-expression-head
Rules
31×associate-*l*
26×add-sqr-sqrt
22×add-cbrt-cube add-exp-log
21×*-un-lft-identity
20×frac-times add-cube-cbrt
18×times-frac flip3-- sqrt-div flip--
15×pow1
14×associate-*r/
13×sqrt-prod
10×distribute-rgt-in distribute-lft-in prod-exp cbrt-unprod
7×associate-*r* pow-prod-down associate-*l/
6×sub-neg
3×*-commutative insert-posit16 add-log-exp unswap-sqr
2×cbrt-undiv div-exp difference-of-squares
1×div-inv
Calls
3 calls:
Slowest
55.0ms
(* (/ (sqrt 2) 4) (* (sqrt (- 1 (* 3 (* v v)))) (- 1 (* v v))))
44.0ms
(* (sqrt (- 1 (* 3 (* v v)))) (- 1 (* v v)))
33.0ms
(* 3 (* v v))

series525.0ms

Calls
3 calls:
Slowest
309.0ms
(* (/ (sqrt 2) 4) (* (sqrt (- 1 (* 3 (* v v)))) (- 1 (* v v))))
171.0ms
(* (sqrt (- 1 (* 3 (* v v)))) (- 1 (* v v)))
44.0ms
(* 3 (* v v))

simplify18.3s

Calls
117 calls:
Slowest
794.0ms
(* (/ (sqrt 2) 4) (* (sqrt (- 1 (* 3 (* v v)))) (- 1 (* v v))))
554.0ms
(* (sqrt 2) (* (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v))))) (- (pow 1 3) (pow (* v v) 3))))
503.0ms
(* (* (* (sqrt (- 1 (* 3 (* v v)))) (sqrt (- 1 (* 3 (* v v))))) (sqrt (- 1 (* 3 (* v v))))) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v))))
465.0ms
(* (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3))) (- (* 1 1) (* (* v v) (* v v))))
441.0ms
(* (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))) (+ 1 (* v v)))

prune1.4s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize63.0ms

Local error

Found 4 expressions with local error:

0.2b
(* -3 (* v v))
0.2b
(* -3 (* v v))
0.0b
(* (+ (* -3 (* v v)) 1) (/ (sqrt 2) 32))
0.0b
(* (- 1 (* v v)) (- 1 (* v v)))

rewrite141.0ms

Algorithm
rewrite-expression-head
Rules
40×add-sqr-sqrt
29×associate-*r*
28×*-un-lft-identity
24×add-cube-cbrt
23×pow1
21×add-cbrt-cube add-exp-log
20×times-frac
14×associate-*l*
10×sqrt-prod
9×prod-exp cbrt-unprod
8×pow-prod-down difference-of-squares
6×frac-times flip3-- flip-- unswap-sqr
5×swap-sqr
4×associate-*l/ *-commutative insert-posit16 add-log-exp
3×associate-*r/
2×distribute-rgt-in sub-neg distribute-lft-in flip3-+ flip-+
1×pow2 cbrt-undiv pow-plus div-exp pow-sqr pow-prod-up div-inv
Calls
4 calls:
Slowest
49.0ms
(* (+ (* -3 (* v v)) 1) (/ (sqrt 2) 32))
45.0ms
(* (- 1 (* v v)) (- 1 (* v v)))
26.0ms
(* -3 (* v v))
18.0ms
(* -3 (* v v))

series343.0ms

Calls
4 calls:
Slowest
215.0ms
(* (+ (* -3 (* v v)) 1) (/ (sqrt 2) 32))
47.0ms
(* (- 1 (* v v)) (- 1 (* v v)))
45.0ms
(* -3 (* v v))
37.0ms
(* -3 (* v v))

simplify12.8s

Calls
118 calls:
Slowest
599.0ms
(* (- (* v v)) (- 1 (* v v)))
569.0ms
(* (- (* v v)) (- 1 (* v v)))
556.0ms
(* (- (* (* -3 (* v v)) (* -3 (* v v))) (* 1 1)) (sqrt 2))
536.0ms
(* (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))
450.0ms
(* (- (* (* -3 (* v v)) (* -3 (* v v))) (* 1 1)) (/ (sqrt 2) 32))

prune2.3s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes50.0ms

Accuracy

0% (0.0b remaining)

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

bsearch3.0ms

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.2s8122×body80nan
1.1s8000×body80valid