Details

Time bar (total: 1.6m)

sample103.0ms

Algorithm
intervals
Results
47.0ms256×body80valid
39.0ms240×body80nan

simplify178.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
178.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

localize47.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)))

rewrite171.0ms

Algorithm
rewrite-expression-head
Rules
41×add-sqr-sqrt
26×associate-*l*
23×*-un-lft-identity add-cbrt-cube add-exp-log
22×times-frac add-cube-cbrt
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
4×insert-posit16 add-log-exp
3×*-commutative
2×distribute-rgt-in cbrt-undiv sub-neg distribute-lft-in div-exp difference-of-squares
1×rem-sqrt-square sqrt-pow1 pow1/2 div-inv
Counts
4 → 133
Calls
4 calls:
Slowest
89.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
44.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
27.0ms
(* 3 (* v v))
8.0ms
(sqrt (- 1 (* 3 (* v v))))

series609.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
308.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
177.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
69.0ms
(sqrt (- 1 (* 3 (* v v))))
54.0ms
(* 3 (* v v))

simplify16.6s

Counts
125 → 145
Calls
125 calls:
Slowest
760.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))))))
454.0ms
(- (* 1/4 (sqrt 2)) (+ (* 9/32 (* (sqrt 2) (pow v 4))) (* 3/8 (* (sqrt 2) (pow v 2)))))
440.0ms
(* (sqrt 2) (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v))))))
420.0ms
(* (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))) (+ 1 (* v v)))
407.0ms
(* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3))))

prune1.6s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize42.0ms

Local error

Found 4 expressions with local error:

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

rewrite126.0ms

Algorithm
rewrite-expression-head
Rules
31×associate-*l*
29×add-sqr-sqrt
23×*-un-lft-identity add-cbrt-cube add-exp-log
22×add-cube-cbrt
20×frac-times sqrt-div
19×flip3-- flip--
18×times-frac
17×pow1
16×sqrt-prod
14×associate-*r/
10×distribute-rgt-in distribute-lft-in prod-exp cbrt-unprod
7×associate-*r* pow-prod-down associate-*l/
6×sub-neg
4×insert-posit16 add-log-exp
3×*-commutative unswap-sqr
2×cbrt-undiv div-exp difference-of-squares
1×rem-sqrt-square sqrt-pow1 pow1/2 div-inv
Counts
4 → 140
Calls
4 calls:
Slowest
57.0ms
(* (/ (sqrt 2) 4) (* (sqrt (- 1 (* 3 (* v v)))) (- 1 (* v v))))
37.0ms
(* (sqrt (- 1 (* 3 (* v v)))) (- 1 (* v v)))
27.0ms
(* 3 (* v v))
4.0ms
(sqrt (- 1 (* 3 (* v v))))

series649.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
371.0ms
(* (/ (sqrt 2) 4) (* (sqrt (- 1 (* 3 (* v v)))) (- 1 (* v v))))
162.0ms
(* (sqrt (- 1 (* 3 (* v v)))) (- 1 (* v v)))
87.0ms
(sqrt (- 1 (* 3 (* v v))))
29.0ms
(* 3 (* v v))

simplify19.7s

Counts
127 → 152
Calls
127 calls:
Slowest
821.0ms
(+ (- (log (sqrt 2)) (log 4)) (log (* (sqrt (- 1 (* 3 (* v v)))) (- 1 (* v v)))))
567.0ms
(* (sqrt 2) (* (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v))))) (- (pow 1 3) (pow (* v v) 3))))
522.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))))
472.0ms
(* (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3))) (- (* 1 1) (* (* v v) (* v v))))
444.0ms
(* (/ (sqrt 2) 4) (* (sqrt (- 1 (* 3 (* v v)))) (- 1 (* v v))))

prune1.7s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize50.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 3 (* v v))
0.2b
(* 3 (* v v))
0.0b
(* (sqrt (sqrt (- 1 (* 3 (* v v))))) (sqrt (sqrt (- 1 (* 3 (* v v))))))
0.0b
(* (* (sqrt (sqrt (- 1 (* 3 (* v v))))) (sqrt (sqrt (- 1 (* 3 (* v v)))))) (- 1 (* v v)))

rewrite196.0ms

Algorithm
rewrite-expression-head
Rules
96×sqrt-div
66×sqrt-prod
53×add-sqr-sqrt
42×pow1
33×flip3-- flip--
32×frac-times sqrt-pow1
21×add-cbrt-cube add-exp-log
20×*-un-lft-identity
19×add-cube-cbrt
16×pow1/2 associate-*r* associate-*l* associate-*l/
15×swap-sqr
14×pow-prod-down
12×unswap-sqr
10×prod-exp associate-*r/ cbrt-unprod
9×pow-prod-up
5×pow-sqr
4×*-commutative insert-posit16 add-log-exp
2×distribute-rgt-in sub-neg distribute-lft-in difference-of-squares
1×pow2 rem-square-sqrt pow-plus sqrt-unprod
Counts
4 → 176
Calls
4 calls:
Slowest
112.0ms
(* (* (sqrt (sqrt (- 1 (* 3 (* v v))))) (sqrt (sqrt (- 1 (* 3 (* v v)))))) (- 1 (* v v)))
50.0ms
(* (sqrt (sqrt (- 1 (* 3 (* v v))))) (sqrt (sqrt (- 1 (* 3 (* v v))))))
17.0ms
(* 3 (* v v))
13.0ms
(* 3 (* v v))

series309.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
154.0ms
(* (* (sqrt (sqrt (- 1 (* 3 (* v v))))) (sqrt (sqrt (- 1 (* 3 (* v v)))))) (- 1 (* v v)))
90.0ms
(* (sqrt (sqrt (- 1 (* 3 (* v v))))) (sqrt (sqrt (- 1 (* 3 (* v v))))))
37.0ms
(* 3 (* v v))
28.0ms
(* 3 (* v v))

simplify23.0s

Counts
210 → 188
Calls
210 calls:
Slowest
976.0ms
(* (* (* (* (sqrt (sqrt (- 1 (* 3 (* v v))))) (sqrt (sqrt (- 1 (* 3 (* v v)))))) (sqrt (sqrt (- 1 (* 3 (* v v)))))) (* (* (sqrt (sqrt (- 1 (* 3 (* v v))))) (sqrt (sqrt (- 1 (* 3 (* v v)))))) (sqrt (sqrt (- 1 (* 3 (* v v))))))) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v))))
615.0ms
(* (sqrt (sqrt (+ 1 (* 3 (* v v))))) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))
513.0ms
(* (* (sqrt (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (sqrt (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3))))) (- 1 (* v v)))
509.0ms
(* (* (sqrt (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v)))))) (sqrt (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v))))))) (- (pow 1 3) (pow (* v v) 3)))
498.0ms
(* (* (sqrt (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))) (sqrt (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))) (+ 1 (* v v)))

prune2.5s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize67.0ms

Local error

Found 4 expressions with local error:

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

rewrite143.0ms

Algorithm
rewrite-expression-head
Rules
40×associate-*l*
35×add-sqr-sqrt
29×*-un-lft-identity
28×add-cube-cbrt
27×times-frac
23×add-exp-log
21×add-cbrt-cube
20×frac-times sqrt-div
19×flip3-- flip--
18×cbrt-prod
17×pow1
16×sqrt-prod
14×associate-*r/
10×distribute-rgt-in distribute-lft-in prod-exp cbrt-unprod
7×associate-*r* pow-prod-down associate-*l/
6×sub-neg
4×insert-posit16 add-log-exp
3×*-commutative unswap-sqr
2×cbrt-undiv div-exp difference-of-squares
1×rem-sqrt-square sqrt-pow1 pow1/2 div-inv
Counts
4 → 149
Calls
4 calls:
Slowest
70.0ms
(* (/ (cbrt (sqrt 2)) 4) (* (sqrt (- 1 (* 3 (* v v)))) (- 1 (* v v))))
34.0ms
(* (sqrt (- 1 (* 3 (* v v)))) (- 1 (* v v)))
26.0ms
(* 3 (* v v))
8.0ms
(sqrt (- 1 (* 3 (* v v))))

series862.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
570.0ms
(* (/ (cbrt (sqrt 2)) 4) (* (sqrt (- 1 (* 3 (* v v)))) (- 1 (* v v))))
156.0ms
(* (sqrt (- 1 (* 3 (* v v)))) (- 1 (* v v)))
96.0ms
(sqrt (- 1 (* 3 (* v v))))
40.0ms
(* 3 (* v v))

simplify19.8s

Counts
136 → 161
Calls
136 calls:
Slowest
930.0ms
(- (+ (* 1/8 (* (pow (sqrt 2) 1/3) (/ v (sqrt -3)))) (* 1/4 (* (pow (sqrt 2) 1/3) (* (pow v 3) (sqrt -3))))) (+ (* 1/32 (* (pow (sqrt 2) 1/3) (/ 1 (* v (pow (sqrt -3) 3))))) (+ (* 1/8 (* (pow (sqrt 2) 1/3) (/ 1 (* v (sqrt -3))))) (* 1/4 (* (pow (sqrt 2) 1/3) (* v (sqrt -3)))))))
499.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))))
470.0ms
(* (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))) (+ 1 (* v v)))
458.0ms
(* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))
432.0ms
(- (+ (* 1/32 (* (pow (sqrt 2) 1/3) (/ 1 (* v (pow (sqrt -3) 3))))) (+ (* 1/8 (* (pow (sqrt 2) 1/3) (/ 1 (* v (sqrt -3))))) (* 1/4 (* (pow (sqrt 2) 1/3) (* v (sqrt -3)))))) (+ (* 1/8 (* (pow (sqrt 2) 1/3) (/ v (sqrt -3)))) (* 1/4 (* (pow (sqrt 2) 1/3) (* (pow v 3) (sqrt -3))))))

prune2.0s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes65.0ms

Accuracy

0% (0.0b remaining)

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

bsearch7.0ms

end0.0ms

sample2.6s

Algorithm
intervals
Results
1.2s8000×body80valid
1.1s8069×body80nan