Details

Time bar (total: 51.4s)

sample78.0ms

Algorithm
intervals
Results
36.0ms251×body80nan
25.0ms256×body80valid

simplify185.0ms

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

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

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

rewrite118.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
71.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
24.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
15.0ms
(* 3 (* v v))
5.0ms
(sqrt (- 1 (* 3 (* v v))))

series646.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
319.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
222.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
71.0ms
(sqrt (- 1 (* 3 (* v v))))
34.0ms
(* 3 (* v v))

simplify17.6s

Counts
125 → 145
Calls
125 calls:
Slowest
837.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))))))
787.0ms
(* (* (sqrt 2) (sqrt (- 1 (* 3 (* v v))))) (- (pow 1 3) (pow (* v v) 3)))
494.0ms
(* (sqrt 2) (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v))))))
418.0ms
(- (* 1/4 (sqrt 2)) (+ (* 9/32 (* (sqrt 2) (pow v 4))) (* 3/8 (* (sqrt 2) (pow v 2)))))
404.0ms
(* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))

prune1.6s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize52.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))) 1/32) (sqrt 2))

rewrite153.0ms

Algorithm
rewrite-expression-head
Rules
19×pow1 add-cbrt-cube add-exp-log
18×associate-*l/
12×associate-*r*
10×add-sqr-sqrt
9×pow-prod-down prod-exp cbrt-unprod
8×cbrt-div *-un-lft-identity sqrt-div add-cube-cbrt
7×flip3-+ flip-+
4×frac-times insert-posit16 add-log-exp
3×associate-*l* *-commutative sqrt-prod
2×associate-*r/ unswap-sqr
1×cbrt-prod pow1/3
Counts
4 → 82
Calls
4 calls:
Slowest
98.0ms
(cbrt (* (+ 1 (* (* v v) -3)) (* (* (sqrt (+ 1 (* (* v v) -3))) 1/32) (sqrt 2))))
25.0ms
(* (* (sqrt (+ 1 (* (* v v) -3))) 1/32) (sqrt 2))
14.0ms
(* (* v v) -3)
14.0ms
(* (* v v) -3)

series724.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
459.0ms
(cbrt (* (+ 1 (* (* v v) -3)) (* (* (sqrt (+ 1 (* (* v v) -3))) 1/32) (sqrt 2))))
203.0ms
(* (* (sqrt (+ 1 (* (* v v) -3))) 1/32) (sqrt 2))
34.0ms
(* (* v v) -3)
28.0ms
(* (* v v) -3)

simplify8.3s

Counts
56 → 94
Calls
56 calls:
Slowest
866.0ms
(cbrt (* (+ (pow 1 3) (pow (* (* v v) -3) 3)) (* (* (sqrt (+ (pow 1 3) (pow (* (* v v) -3) 3))) 1/32) (sqrt 2))))
629.0ms
(* (* (* (* (sqrt (+ 1 (* (* v v) -3))) (sqrt (+ 1 (* (* v v) -3)))) (sqrt (+ 1 (* (* v v) -3)))) (* (* 1/32 1/32) 1/32)) (* (* (sqrt 2) (sqrt 2)) (sqrt 2)))
594.0ms
(* (* (* (* (sqrt (+ 1 (* (* v v) -3))) 1/32) (* (sqrt (+ 1 (* (* v v) -3))) 1/32)) (* (sqrt (+ 1 (* (* v v) -3))) 1/32)) (* (* (sqrt 2) (sqrt 2)) (sqrt 2)))
572.0ms
(cbrt (* (- (* 1 1) (* (* (* v v) -3) (* (* v v) -3))) (* (* (sqrt (- (* 1 1) (* (* (* v v) -3) (* (* v v) -3)))) 1/32) (sqrt 2))))
492.0ms
(cbrt (* (+ 1 (* (* v v) -3)) (* (* (sqrt (+ (pow 1 3) (pow (* (* v v) -3) 3))) 1/32) (sqrt 2))))

prune1.2s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize48.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 3 (* v v))
0.2b
(* 3 (* v v))
0.1b
(* (* v v) (* v v))
0.1b
(* (* (* v v) (* v v)) (* (sqrt (- 1 (* 3 (* v v)))) (sqrt 2)))

rewrite198.0ms

Algorithm
rewrite-expression-head
Rules
166×pow1
67×add-cbrt-cube add-exp-log
60×pow-prod-down
45×prod-exp cbrt-unprod
36×pow-prod-up
22×pow-sqr
18×pow-plus
13×pow2
8×add-sqr-sqrt associate-*l*
6×*-un-lft-identity add-cube-cbrt
4×associate-*r* *-commutative insert-posit16 add-log-exp
3×unswap-sqr
2×sqrt-div associate-*l/ associate-*r/
1×flip3-- swap-sqr flip--
Counts
4 → 147
Calls
4 calls:
Slowest
139.0ms
(* (* (* v v) (* v v)) (* (sqrt (- 1 (* 3 (* v v)))) (sqrt 2)))
24.0ms
(* (* v v) (* v v))
17.0ms
(* 3 (* v v))
13.0ms
(* 3 (* v v))

series306.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
195.0ms
(* (* (* v v) (* v v)) (* (sqrt (- 1 (* 3 (* v v)))) (sqrt 2)))
42.0ms
(* 3 (* v v))
35.0ms
(* 3 (* v v))
34.0ms
(* (* v v) (* v v))

simplify15.2s

Counts
133 → 159
Calls
133 calls:
Slowest
895.0ms
(* (* (* v v) (* v v)) (* (sqrt (- 1 (* 3 (* v v)))) (sqrt 2)))
599.0ms
(* (* (* v v) (* v v)) (* (sqrt (- 1 (* 3 (* v v)))) (sqrt 2)))
579.0ms
(* (* (* v v) (* v v)) (* (sqrt (- 1 (* 3 (* v v)))) (sqrt 2)))
569.0ms
(* (* (* v v) (* v v)) (* (sqrt (- 1 (* 3 (* v v)))) (sqrt 2)))
553.0ms
(* (* (* v v) (* v v)) (* (sqrt (- 1 (* 3 (* v v)))) (sqrt 2)))

prune1.8s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes52.0ms

Accuracy

0% (0.0b remaining)

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

bsearch4.0ms

end0.0ms

sample3.1s

Algorithm
intervals
Results
1.5s8000×body80valid
1.3s7984×body80nan