Details

Time bar (total: 1.5m)

sample182.0ms

Algorithm
intervals
Results
89.0ms256×body80valid
64.0ms228×body80nan

simplify222.0ms

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

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize43.0ms

Local error

Found 4 expressions with local error:

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

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
18×frac-times sqrt-div
15×flip3-- flip--
11×pow1 add-cbrt-cube add-exp-log
10×add-sqr-sqrt associate-*r* associate-*r/
9×*-un-lft-identity associate-*l/ add-cube-cbrt
6×sqrt-prod
5×associate-*l*
4×pow-prod-down prod-exp cbrt-unprod insert-posit16 add-log-exp
3×*-commutative
2×distribute-rgt-in sub-neg distribute-lft-in
1×rem-sqrt-square pow1/2 div-inv
Calls
4 calls:
Slowest
30.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
21.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
2.0ms
(* 3 (* v v))
1.0ms
(sqrt (- 1 (* 3 (* v v))))

series286.0ms

Calls
4 calls:
Slowest
134.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
93.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
40.0ms
(sqrt (- 1 (* 3 (* v v))))
18.0ms
(* 3 (* v v))

simplify28.3s

Calls
78 calls:
Slowest
2.1s
(* (* (* (/ (sqrt 2) 4) (/ (sqrt 2) 4)) (/ (sqrt 2) 4)) (* (* (sqrt (- 1 (* 3 (* v v)))) (sqrt (- 1 (* 3 (* v v))))) (sqrt (- 1 (* 3 (* v v))))))
1.1s
(* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- (* 1 1) (* (* v v) (* v v))))
1.1s
(* (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))) (+ 1 (* v v)))
954.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v)))))) (- 1 (* v v)))
855.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v)))))) (- (pow 1 3) (pow (* v v) 3)))

prune2.5s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize88.0ms

Local error

Found 4 expressions with local error:

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

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
11×pow1 add-cbrt-cube add-exp-log
10×associate-*l*
9×associate-*r* associate-*r/
8×add-sqr-sqrt *-un-lft-identity sqrt-div add-cube-cbrt
4×frac-times flip3-- pow-prod-down prod-exp *-commutative cbrt-unprod insert-posit16 flip-- add-log-exp
3×sqrt-prod
2×associate-*l/
1×distribute-lft-neg-out distribute-lft-neg-in neg-mul-1 distribute-rgt-neg-in div-inv
Calls
4 calls:
Slowest
39.0ms
(* (- (* v v)) (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))))
13.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
2.0ms
(* 3 (* v v))
2.0ms
(* 3 (* v v))

series581.0ms

Calls
4 calls:
Slowest
283.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
264.0ms
(* (- (* v v)) (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))))
19.0ms
(* 3 (* v v))
15.0ms
(* 3 (* v v))

simplify14.5s

Calls
46 calls:
Slowest
2.6s
(* (* (* (/ (sqrt 2) 4) (/ (sqrt 2) 4)) (/ (sqrt 2) 4)) (* (* (sqrt (- 1 (* 3 (* v v)))) (sqrt (- 1 (* 3 (* v v))))) (sqrt (- 1 (* 3 (* v v))))))
1.1s
(+ (log (- (* v v))) (+ (log (/ (sqrt 2) 4)) (log (sqrt (- 1 (* 3 (* v v)))))))
935.0ms
(+ (log (- (* v v))) (log (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))))
854.0ms
(sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))
714.0ms
(* (* (* (- (* v v)) (- (* v v))) (- (* v v))) (* (* (* (/ (sqrt 2) 4) (/ (sqrt 2) 4)) (/ (sqrt 2) 4)) (* (* (sqrt (- 1 (* 3 (* v v)))) (sqrt (- 1 (* 3 (* v v))))) (sqrt (- 1 (* 3 (* v v)))))))

prune5.0s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize38.0ms

Local error

Found 4 expressions with local error:

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

rewrite82.0ms

Algorithm
rewrite-expression-head
Rules
15×add-cbrt-cube add-exp-log
10×associate-*r/
9×pow1
8×sqrt-div associate-/l/
7×flip3-- flip--
6×add-sqr-sqrt
5×pow2 *-un-lft-identity add-cube-cbrt
4×frac-times prod-exp cbrt-unprod insert-posit16 add-log-exp
3×cbrt-undiv div-exp sqrt-prod
2×associate-*r* pow-prod-down associate-*l/ associate-/r/ *-commutative pow-prod-up
1×rem-sqrt-square clear-num associate-/r* frac-2neg flip3-+ times-frac pow-plus pow1/2 associate-*l* flip-+ div-inv associate-/l*
Calls
4 calls:
Slowest
69.0ms
(/ (* (sqrt (- 1 (* 3 (* v v)))) (* (sqrt 2) (- 1 (* (* v v) (* v v))))) (* 4 (+ 1 (* v v))))
8.0ms
(* (* v v) (* v v))
2.0ms
(* 3 (* v v))
1.0ms
(sqrt (- 1 (* 3 (* v v))))

series325.0ms

Calls
4 calls:
Slowest
184.0ms
(/ (* (sqrt (- 1 (* 3 (* v v)))) (* (sqrt 2) (- 1 (* (* v v) (* v v))))) (* 4 (+ 1 (* v v))))
56.0ms
(* (* v v) (* v v))
43.0ms
(* 3 (* v v))
42.0ms
(sqrt (- 1 (* 3 (* v v))))

simplify25.4s

Calls
46 calls:
Slowest
5.0s
(/ (* (* (* (sqrt (- 1 (* 3 (* v v)))) (sqrt (- 1 (* 3 (* v v))))) (sqrt (- 1 (* 3 (* v v))))) (* (* (* (sqrt 2) (sqrt 2)) (sqrt 2)) (* (* (- 1 (* (* v v) (* v v))) (- 1 (* (* v v) (* v v)))) (- 1 (* (* v v) (* v v)))))) (* (* (* 4 (+ 1 (* v v))) (* 4 (+ 1 (* v v)))) (* 4 (+ 1 (* v v)))))
4.0s
(/ (* (* (* (sqrt (- 1 (* 3 (* v v)))) (sqrt (- 1 (* 3 (* v v))))) (sqrt (- 1 (* 3 (* v v))))) (* (* (* (sqrt 2) (- 1 (* (* v v) (* v v)))) (* (sqrt 2) (- 1 (* (* v v) (* v v))))) (* (sqrt 2) (- 1 (* (* v v) (* v v)))))) (* (* (* 4 (+ 1 (* v v))) (* 4 (+ 1 (* v v)))) (* 4 (+ 1 (* v v)))))
3.0s
(/ (* (* (* (sqrt (- 1 (* 3 (* v v)))) (* (sqrt 2) (- 1 (* (* v v) (* v v))))) (* (sqrt (- 1 (* 3 (* v v)))) (* (sqrt 2) (- 1 (* (* v v) (* v v)))))) (* (sqrt (- 1 (* 3 (* v v)))) (* (sqrt 2) (- 1 (* (* v v) (* v v)))))) (* (* (* 4 (+ 1 (* v v))) (* 4 (+ 1 (* v v)))) (* 4 (+ 1 (* v v)))))
1.3s
(* (sqrt (- 1 (* 3 (* v v)))) (* (sqrt 2) (- (pow 1 3) (pow (* (* v v) (* v v)) 3))))
1.1s
(* (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3))) (* (sqrt 2) (- 1 (* (* v v) (* v v)))))

prune3.1s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes137.0ms

Accuracy

0% (0.0b remaining)

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

bsearch20.0ms

end0.0ms

sample10.3s

Algorithm
intervals
Results
6.9s7970×body80nan
3.0s8000×body80valid