Details

Time bar (total: 53.7s)

sample54.0ms

Algorithm
intervals
Results
22.0ms256×body80valid
21.0ms249×body80nan

simplify175.0ms

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

localize48.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 3 (* v v))
0.0b
(sqrt (- 1 (* 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)))

rewrite89.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
49.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
18.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
17.0ms
(* 3 (* v v))
4.0ms
(sqrt (- 1 (* 3 (* v v))))

series704.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
334.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
241.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
82.0ms
(sqrt (- 1 (* 3 (* v v))))
47.0ms
(* 3 (* v v))

simplify17.5s

Counts
125 → 145
Calls
125 calls:
Slowest
746.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))))))
489.0ms
(sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v)))))
440.0ms
(* (* (sqrt 2) (sqrt (- 1 (* 3 (* v v))))) (- (pow 1 3) (pow (* v v) 3)))
436.0ms
(sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))
427.0ms
(* (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))) (+ 1 (* v v)))

prune2.0s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize56.0ms

Local error

Found 4 expressions with local error:

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

rewrite128.0ms

Algorithm
rewrite-expression-head
Rules
15×pow1
14×add-cbrt-cube add-exp-log
10×add-sqr-sqrt associate-*l/
8×cbrt-div sqrt-div
7×*-un-lft-identity flip3-- add-cube-cbrt flip--
6×associate-*r* pow-prod-down prod-exp cbrt-unprod
4×frac-times insert-posit16 add-log-exp
3×sqrt-prod
2×associate-*l* associate-*r/ *-commutative unswap-sqr
1×cbrt-prod rem-sqrt-square sqrt-pow1 pow1/2 pow1/3
Counts
4 → 74
Calls
4 calls:
Slowest
58.0ms
(cbrt (* (* (- 1 (* (* v v) 3)) (sqrt (- 1 (* (* v v) 3)))) (* 1/32 (sqrt 2))))
35.0ms
(* (* v v) 3)
28.0ms
(* (* v v) 3)
4.0ms
(sqrt (- 1 (* (* v v) 3)))

series633.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
494.0ms
(cbrt (* (* (- 1 (* (* v v) 3)) (sqrt (- 1 (* (* v v) 3)))) (* 1/32 (sqrt 2))))
71.0ms
(sqrt (- 1 (* (* v v) 3)))
34.0ms
(* (* v v) 3)
33.0ms
(* (* v v) 3)

simplify6.4s

Counts
48 → 86
Calls
48 calls:
Slowest
443.0ms
(sqrt (- (pow 1 3) (pow (* (* v v) 3) 3)))
399.0ms
(- (+ (* 1/2 (/ 1 (* (sqrt -3) v))) (* (sqrt -3) v)) (* 1/8 (/ 1 (* (pow (sqrt -3) 3) (pow v 3)))))
358.0ms
(- (* 1/8 (* (pow (sqrt 2) 1/3) (/ (cbrt 1/32) (* (pow (sqrt -3) 3) (pow v 3))))) (+ (* (pow (sqrt 2) 1/3) (* (cbrt 1/32) (* (sqrt -3) v))) (* 1/2 (* (pow (sqrt 2) 1/3) (/ (cbrt 1/32) (* (sqrt -3) v))))))
357.0ms
(cbrt (* (* (- (* 1 1) (* (* (* v v) 3) (* (* v v) 3))) (sqrt (- (* 1 1) (* (* (* v v) 3) (* (* v v) 3))))) (* 1/32 (sqrt 2))))
355.0ms
(cbrt (* (* (- (* 1 1) (* (* (* v v) 3) (* (* v v) 3))) (sqrt (- 1 (* (* v v) 3)))) (* 1/32 (sqrt 2))))

prune1.1s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize45.0ms

Local error

Found 4 expressions with local error:

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

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
34×log-prod
27×*-un-lft-identity
25×add-sqr-sqrt
23×add-cube-cbrt
22×associate-+l+
18×times-frac sqrt-prod
16×pow1
10×add-exp-log
9×add-cbrt-cube
7×log-pow
6×associate-+r+ sqrt-div
5×log-div
4×insert-posit16 distribute-lft-out add-log-exp
3×flip3-- associate-*l* pow-prod-down prod-exp cbrt-unprod flip--
2×associate-+r- sqrt-pow1 pow1/2
1×+-commutative rem-sqrt-square sum-log flip3-+ rem-log-exp associate-*r* *-commutative associate-+l- flip-+ div-inv unswap-sqr
Counts
4 → 103
Calls
4 calls:
Slowest
26.0ms
(+ (log (/ (sqrt 2) 4)) (log (sqrt (- 1 (* 3 (* v v))))))
26.0ms
(* 3 (* v v))
8.0ms
(sqrt (- 1 (* 3 (* v v))))
7.0ms
(log (sqrt (- 1 (* 3 (* v v)))))

series854.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
393.0ms
(+ (log (/ (sqrt 2) 4)) (log (sqrt (- 1 (* 3 (* v v))))))
327.0ms
(log (sqrt (- 1 (* 3 (* v v)))))
106.0ms
(sqrt (- 1 (* 3 (* v v))))
28.0ms
(* 3 (* v v))

simplify7.5s

Counts
75 → 115
Calls
75 calls:
Slowest
491.0ms
(log (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v))))))
443.0ms
(- (+ (* 9/4 (pow v 4)) (+ (* 3/2 (pow v 2)) (* 9/2 (pow v 6)))))
435.0ms
(log (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))
421.0ms
(sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v)))))
397.0ms
(sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))

prune1.5s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize49.0ms

Local error

Found 4 expressions with local error:

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

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
41×add-sqr-sqrt
25×associate-*l*
23×*-un-lft-identity
22×times-frac add-cube-cbrt
20×sqrt-prod
15×add-exp-log
14×add-cbrt-cube
13×pow1
7×associate-*r* unswap-sqr
6×sqrt-div
5×log-prod prod-exp cbrt-unprod
4×flip3-- pow-prod-down insert-posit16 flip-- add-log-exp
2×frac-times log-div associate-*r/ *-commutative difference-of-squares
1×cbrt-undiv rem-sqrt-square sqrt-pow1 pow1/2 div-exp rem-log-exp associate-*l/ log-pow div-inv
Counts
4 → 106
Calls
4 calls:
Slowest
34.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
18.0ms
(* 3 (* v v))
8.0ms
(sqrt (- 1 (* 3 (* v v))))
3.0ms
(log (- 1 (* v v)))

series480.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
218.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
124.0ms
(log (- 1 (* v v)))
92.0ms
(sqrt (- 1 (* 3 (* v v))))
46.0ms
(* 3 (* v v))

simplify9.7s

Counts
88 → 118
Calls
88 calls:
Slowest
803.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))))))
796.0ms
(- (log -1) (+ (* 2 (log (/ 1 v))) (+ (* 1/2 (/ 1 (pow v 4))) (/ 1 (pow v 2)))))
436.0ms
(sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))
422.0ms
(* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3))))
414.0ms
(* (sqrt 2) (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v))))))

prune1.6s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes61.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.8s

Algorithm
intervals
Results
1.3s7960×body80nan
1.2s8000×body80valid