Details

Time bar (total: 6.3m)

sample99.0ms

Algorithm
intervals
Results
44.0ms256×body80valid
37.0ms273×body80nan

simplify207.0ms

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

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

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

rewrite137.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
75.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
37.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
14.0ms
(* 3 (* v v))
7.0ms
(sqrt (- 1 (* 3 (* v v))))

series644.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
281.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
247.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
64.0ms
(sqrt (- 1 (* 3 (* v v))))
51.0ms
(* 3 (* v v))

simplify17.6s

Counts
125 → 145
Calls
125 calls:
Slowest
824.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))))))
465.0ms
(* (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))) (+ 1 (* v v)))
415.0ms
(* (sqrt 2) (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v))))))
415.0ms
(sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))
393.0ms
(sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))

prune1.5s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize31.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* 3 v) v)
0.0b
(* (* (/ (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)))

rewrite114.0ms

Algorithm
rewrite-expression-head
Rules
40×add-sqr-sqrt
24×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--
14×associate-*r*
10×prod-exp associate-*r/ cbrt-unprod
9×associate-*l/
7×pow-prod-down
6×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 → 132
Calls
4 calls:
Slowest
57.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* (* 3 v) v)))) (- 1 (* v v)))
31.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* (* 3 v) v))))
19.0ms
(* (* 3 v) v)
4.0ms
(sqrt (- 1 (* (* 3 v) v)))

series618.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
301.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* (* 3 v) v)))) (- 1 (* v v)))
196.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* (* 3 v) v))))
93.0ms
(sqrt (- 1 (* (* 3 v) v)))
28.0ms
(* (* 3 v) v)

simplify18.1s

Counts
123 → 144
Calls
123 calls:
Slowest
918.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)))))
618.0ms
(* (* (* (* 3 v) (* 3 v)) (* 3 v)) (* (* v v) v))
503.0ms
(* (sqrt 2) (sqrt (- (pow 1 3) (pow (* (* 3 v) v) 3))))
461.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* (* 3 v) v)))) (- 1 (* v v)))
441.0ms
(* (sqrt 2) (sqrt (- (* 1 1) (* (* (* 3 v) v) (* (* 3 v) v)))))

prune1.6s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize69.0ms

Local error

Found 4 expressions with local error:

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

rewrite205.0ms

Algorithm
rewrite-expression-head
Rules
125×pow1
47×add-cbrt-cube add-exp-log
36×pow-prod-up
29×pow-prod-down
23×prod-exp cbrt-unprod
22×associate-*r/ pow-sqr
18×pow-plus
13×pow2
12×flip3-- sqrt-div flip--
10×associate-*l*
8×add-sqr-sqrt frac-times associate-/l/
7×*-un-lft-identity add-cube-cbrt
6×cbrt-undiv div-exp
4×associate-*l/ insert-posit16 add-log-exp
3×associate-*r* *-commutative sqrt-prod
2×associate-/r/ unswap-sqr
1×clear-num associate-/r* frac-2neg flip3-+ times-frac swap-sqr flip-+ div-inv associate-/l*
Counts
4 → 150
Calls
4 calls:
Slowest
69.0ms
(/ (* (sqrt 2) (* (- 1 (* (* v v) (* v v))) (sqrt (- 1 (* 3 (* v v)))))) (* 4 (+ 1 (* v v))))
53.0ms
(* (sqrt 2) (* (- 1 (* (* v v) (* v v))) (sqrt (- 1 (* 3 (* v v))))))
45.0ms
(* (* v v) (* v v))
32.0ms
(* 3 (* v v))

series781.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
444.0ms
(/ (* (sqrt 2) (* (- 1 (* (* v v) (* v v))) (sqrt (- 1 (* 3 (* v v)))))) (* 4 (+ 1 (* v v))))
269.0ms
(* (sqrt 2) (* (- 1 (* (* v v) (* v v))) (sqrt (- 1 (* 3 (* v v))))))
36.0ms
(* (* v v) (* v v))
31.0ms
(* 3 (* v v))

simplify14.8s

Counts
135 → 162
Calls
135 calls:
Slowest
2.3s
(/ (* (* (* (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))) (sqrt (- 1 (* 3 (* v v))))))) (* (* (* 4 (+ 1 (* v v))) (* 4 (+ 1 (* v v)))) (* 4 (+ 1 (* v v)))))
445.0ms
(+ (* 1 1) (- (* (* v v) (* v v)) (* 1 (* v v))))
436.0ms
(sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))
404.0ms
(* (* (* (* v v) (* v v)) (* v v)) (* (* (* v v) (* v v)) (* v v)))
401.0ms
(* (sqrt 2) (* (- (* 1 1) (* (* (* v v) (* v v)) (* (* v v) (* v v)))) (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v)))))))

prune1.8s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize43.0ms

Local error

Found 4 expressions with local error:

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

rewrite122.0ms

Algorithm
rewrite-expression-head
Rules
2523×times-frac
1203×add-sqr-sqrt
1201×*-un-lft-identity
1054×add-cube-cbrt
903×sqrt-prod
294×difference-of-squares
136×associate-/r*
99×associate-/r/
58×div-inv
49×flip3-- flip--
27×associate-/l*
23×add-cbrt-cube add-exp-log
10×pow1
9×cbrt-undiv div-exp
4×sqrt-div insert-posit16 add-log-exp
3×associate-*l* pow-prod-down prod-exp cbrt-unprod associate-/l/
2×clear-num frac-2neg flip3-+ flip-+
1×rem-sqrt-square sqrt-pow1 pow1/2 associate-*r* *-commutative unswap-sqr
Counts
4 → 1141
Calls
4 calls:
Slowest
30.0ms
(* -3 (* v v))
24.0ms
(/ (sqrt (+ 1 (* -3 (* v v)))) (/ (/ 4 (- 1 (* v v))) (sqrt 2)))
13.0ms
(/ (/ 4 (- 1 (* v v))) (sqrt 2))
6.0ms
(sqrt (+ 1 (* -3 (* v v))))

series605.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
329.0ms
(/ (sqrt (+ 1 (* -3 (* v v)))) (/ (/ 4 (- 1 (* v v))) (sqrt 2)))
157.0ms
(/ (/ 4 (- 1 (* v v))) (sqrt 2))
85.0ms
(sqrt (+ 1 (* -3 (* v v))))
35.0ms
(* -3 (* v v))

simplify5.1m

Counts
2014 → 1153
Calls
2014 calls:
Slowest
751.0ms
(/ (* (cbrt (sqrt (+ 1 (* -3 (* v v))))) (cbrt (sqrt (+ 1 (* -3 (* v v)))))) (/ (/ (* (cbrt 4) (cbrt 4)) (+ 1 v)) 1))
692.0ms
(/ (cbrt (sqrt (+ 1 (* -3 (* v v))))) (/ (/ 1 (- 1 (* v v))) (cbrt (sqrt 2))))
650.0ms
(/ (sqrt (cbrt (+ 1 (* -3 (* v v))))) (/ (/ (sqrt 4) (- 1 (* v v))) (sqrt 2)))
610.0ms
(/ (sqrt (cbrt (+ 1 (* -3 (* v v))))) (/ (/ 1 (- 1 (* v v))) (sqrt 2)))
610.0ms
(/ (sqrt (cbrt (+ 1 (* -3 (* v v))))) (/ (/ 1 (- 1 (* v v))) (sqrt 2)))

prune9.3s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes53.0ms

Accuracy

0% (0.0b remaining)

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

bsearch3.0ms

end0.0ms

sample1.7s

Algorithm
intervals
Results
819.0ms7999×body80nan
704.0ms8000×body80valid