Details

Time bar (total: 1.5m)

sample73.0ms

Algorithm
intervals
Results
28.0ms273×body80nan
27.0ms256×body80valid

simplify253.0ms

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

prune23.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize51.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 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
0.0b
(sqrt (- 1 (* 3 (* v v))))

rewrite148.0ms

Algorithm
rewrite-expression-head
Rules
43×add-sqr-sqrt
26×associate-*l*
25×*-un-lft-identity
24×add-cube-cbrt
23×add-cbrt-cube add-exp-log
22×times-frac
20×sqrt-prod
18×frac-times sqrt-div
17×pow1
15×flip3-- flip--
12×associate-*r*
10×prod-exp associate-*r/ cbrt-unprod
9×associate-*l/
7×pow-prod-down unswap-sqr
6×prod-diff
5×distribute-rgt-in distribute-lft-in
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×*-commutative
2×cbrt-undiv sub-neg div-exp difference-of-squares
1×rem-sqrt-square sqrt-pow1 pow1/2 div-inv
Counts
4 → 147
Calls
4 calls:
Slowest
69.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
37.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
27.0ms
(* 3 (* v v))
11.0ms
(sqrt (- 1 (* 3 (* v v))))

series637.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
309.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
198.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
78.0ms
(sqrt (- 1 (* 3 (* v v))))
52.0ms
(* 3 (* v v))

simplify19.9s

Counts
131 → 159
Calls
131 calls:
Slowest
944.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))))))
518.0ms
(* (* (sqrt 2) (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v)))))) (- (pow 1 3) (pow (* v v) 3)))
505.0ms
(sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))
457.0ms
(sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v)))))
441.0ms
(* (* 4 (sqrt (+ 1 (* 3 (* v v))))) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))

prune1.7s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize58.0ms

Local error

Found 4 expressions with local error:

0.1b
(* 3 (* v v))
0.0b
(* (expm1 (log1p (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))))) (- 1 (* v v)))
0.0b
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
0.0b
(sqrt (- 1 (* 3 (* v v))))

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
46×add-sqr-sqrt
28×associate-*l*
26×*-un-lft-identity
25×add-cube-cbrt
22×times-frac
20×sqrt-prod
16×add-cbrt-cube add-exp-log
14×pow1
12×associate-*r*
8×unswap-sqr
6×sqrt-div prod-diff prod-exp cbrt-unprod
5×distribute-rgt-in distribute-lft-in pow-prod-down
4×expm1-log1p-u flip3-- associate-*r/ insert-posit16 log1p-expm1-u flip-- add-log-exp
3×*-commutative
2×frac-times sub-neg difference-of-squares
1×cbrt-undiv rem-sqrt-square sqrt-pow1 pow1/2 div-exp associate-*l/ div-inv
Counts
4 → 130
Calls
4 calls:
Slowest
35.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
17.0ms
(* (expm1 (log1p (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))))) (- 1 (* v v)))
13.0ms
(* 3 (* v v))
5.0ms
(sqrt (- 1 (* 3 (* v v))))

series992.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
667.0ms
(* (expm1 (log1p (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))))) (- 1 (* v v)))
205.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
78.0ms
(sqrt (- 1 (* 3 (* v v))))
41.0ms
(* 3 (* v v))

simplify12.7s

Counts
104 → 142
Calls
104 calls:
Slowest
863.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
(* (expm1 (log1p (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))))) (- 1 (* v v)))
450.0ms
(- (* 1/8 (/ 1 (* (pow (sqrt -3) 3) (pow v 3)))) (+ (* 1/2 (/ 1 (* (sqrt -3) v))) (* (sqrt -3) v)))
447.0ms
(sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))
446.0ms
(* (sqrt 2) (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v))))))

prune2.2s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize69.0ms

Local error

Found 4 expressions with local error:

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

rewrite425.0ms

Algorithm
rewrite-expression-head
Rules
192×sqrt-div
98×frac-times
66×flip3-- flip--
49×associate-*l/
37×add-cbrt-cube add-exp-log
34×associate-*r/
28×pow1
20×prod-exp cbrt-unprod
16×associate-*r*
15×add-sqr-sqrt pow-prod-down
13×*-un-lft-identity
12×add-cube-cbrt
9×sqrt-prod
8×associate-*l*
6×prod-diff
5×distribute-rgt-in distribute-lft-in
4×expm1-log1p-u *-commutative insert-posit16 log1p-expm1-u add-log-exp
2×cbrt-undiv sub-neg div-exp difference-of-squares unswap-sqr
Counts
4 → 181
Calls
4 calls:
Slowest
282.0ms
(* (* (* (/ (sqrt 2) 4) (sqrt (sqrt (- 1 (* 3 (* v v)))))) (sqrt (sqrt (- 1 (* 3 (* v v)))))) (- 1 (* v v)))
85.0ms
(* (* (/ (sqrt 2) 4) (sqrt (sqrt (- 1 (* 3 (* v v)))))) (sqrt (sqrt (- 1 (* 3 (* v v))))))
27.0ms
(* 3 (* v v))
27.0ms
(* 3 (* v v))

series631.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
315.0ms
(* (* (* (/ (sqrt 2) 4) (sqrt (sqrt (- 1 (* 3 (* v v)))))) (sqrt (sqrt (- 1 (* 3 (* v v)))))) (- 1 (* v v)))
239.0ms
(* (* (/ (sqrt 2) 4) (sqrt (sqrt (- 1 (* 3 (* v v)))))) (sqrt (sqrt (- 1 (* 3 (* v v))))))
43.0ms
(* 3 (* v v))
34.0ms
(* 3 (* v v))

simplify42.3s

Counts
191 → 193
Calls
191 calls:
Slowest
638.0ms
(* (* (* (sqrt 2) (sqrt (sqrt (- 1 (* 3 (* v v)))))) (sqrt (sqrt (- 1 (* 3 (* v v)))))) (- (pow 1 3) (pow (* v v) 3)))
579.0ms
(* (* (* (sqrt 2) (sqrt (sqrt (- 1 (* 3 (* v v)))))) (sqrt (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v))))))) (- (* 1 1) (* (* v v) (* v v))))
574.0ms
(* (* (sqrt 2) (sqrt (sqrt (- 1 (* 3 (* v v)))))) (sqrt (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v)))))))
563.0ms
(* (sqrt (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))
527.0ms
(* (* (* (sqrt 2) (sqrt (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v))))))) (sqrt (sqrt (- 1 (* 3 (* v v)))))) (- 1 (* v v)))

prune3.0s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes48.0ms

Accuracy

0% (0.0b remaining)

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

bsearch6.0ms

end0.0ms

sample3.1s

Algorithm
intervals
Results
1.7s8000×body80valid
1.2s7999×body80nan