Details

Time bar (total: 19.1s)Debug log

sample59.0ms

Algorithm
intervals
Results
26.0ms256×body80valid
21.0ms245×body80nan

simplify122.0ms

Calls
1 calls:
Slowest
122.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

localize38.0ms

Local error

Found 4 expressions with local error:

0.1b
(* 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)))

rewrite42.0ms

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

series256.0ms

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

simplify12.9s

Calls
78 calls:
Slowest
906.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))))))
680.0ms
(* (* (sqrt 2) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
439.0ms
(* (- (* v v)) (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))))
399.0ms
(* (- (* v v)) (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))))
380.0ms
(- (* 1/4 (sqrt 2)) (+ (* 9/32 (* (sqrt 2) (pow v 4))) (* 3/8 (* (sqrt 2) (pow v 2)))))

prune1.1s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize46.0ms

Local error

Found 4 expressions with local error:

0.1b
(* 3 (* v v))
0.1b
(* 3 (* v v))
0.1b
(* 3 (* v v))
0.1b
(* (* 3 (* v v)) (* 3 (* v v)))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1
6×add-exp-log
6×add-cbrt-cube
4×add-log-exp
4×add-cube-cbrt
4×*-commutative
4×associate-*r*
4×*-un-lft-identity
4×add-sqr-sqrt
1×cbrt-unprod
1×pow-prod-up
1×prod-exp
1×pow-prod-down
1×associate-*l*
1×pow-plus
1×pow2
Calls
4 calls:
Slowest
17.0ms
(* (* 3 (* v v)) (* 3 (* v v)))
2.0ms
(* 3 (* v v))
2.0ms
(* 3 (* v v))
2.0ms
(* 3 (* v v))

series67.0ms

Calls
4 calls:
Slowest
19.0ms
(* 3 (* v v))
18.0ms
(* 3 (* v v))
16.0ms
(* (* 3 (* v v)) (* 3 (* v v)))
14.0ms
(* 3 (* v v))

simplify479.0ms

Calls
19 calls:
Slowest
325.0ms
(* (* (* (* 3 (* v v)) (* 3 (* v v))) (* 3 (* v v))) (* (* (* 3 (* v v)) (* 3 (* v v))) (* 3 (* v v))))
44.0ms
(* (* 3 (* v v)) (* 3 (* v v)))
37.0ms
(+ (log (* 3 (* v v))) (log (* 3 (* v v))))
7.0ms
(* 3 (pow v 2))
7.0ms
(* 3 (pow v 2))

prune715.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes90.0ms

Accuracy

0% (0.0b remaining)

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

bsearch7.0ms

end0.0ms

sample3.1s

Algorithm
intervals
Results
1.6s8000×body80valid
1.3s7885×body80nan