Details

Time bar (total: 2.2m)

sample82.0ms

Algorithm
intervals
Results
36.0ms293×body80nan
30.0ms256×body80valid

simplify263.0ms

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

prune18.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
474×times-frac
295×add-sqr-sqrt
263×*-un-lft-identity
220×add-cube-cbrt
141×sqrt-prod
131×associate-*l*
86×difference-of-squares
30×associate-/r/
26×associate-/r*
20×add-cbrt-cube add-exp-log
16×div-inv
14×flip3-- flip--
10×unswap-sqr
9×associate-/l*
7×cbrt-undiv div-exp
6×pow1 associate-*r*
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×prod-exp cbrt-unprod
2×clear-num frac-2neg
1×pow-prod-down associate-*l/ *-commutative fma-udef
Counts
4 → 388
Calls
4 calls:
Slowest
29.0ms
(* (/ (sqrt 2) (/ 4 (- 1 (* v v)))) (sqrt (fma (* v v) -3 1)))
11.0ms
(/ 4 (- 1 (* v v)))
10.0ms
(/ (sqrt 2) (/ 4 (- 1 (* v v))))
0.0ms
(fma (* v v) -3 1)

series686.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
379.0ms
(* (/ (sqrt 2) (/ 4 (- 1 (* v v)))) (sqrt (fma (* v v) -3 1)))
171.0ms
(/ (sqrt 2) (/ 4 (- 1 (* v v))))
76.0ms
(fma (* v v) -3 1)
60.0ms
(/ 4 (- 1 (* v v)))

simplify1.0m

Counts
500 → 400
Calls
500 calls:
Slowest
716.0ms
(/ (* (cbrt (sqrt 2)) (cbrt (sqrt 2))) (/ 4 (- (pow 1 3) (pow (* v v) 3))))
657.0ms
(/ (cbrt (sqrt 2)) (/ (sqrt 4) (- 1 (* v v))))
572.0ms
(/ (* (* (sqrt 2) (sqrt 2)) (sqrt 2)) (/ (* (* 4 4) 4) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v)))))
502.0ms
(/ (* (* (sqrt 2) (sqrt 2)) (sqrt 2)) (* (* (/ 4 (- 1 (* v v))) (/ 4 (- 1 (* v v)))) (/ 4 (- 1 (* v v)))))
489.0ms
(/ (sqrt 1) (/ 4 (- (* 1 1) (* (* v v) (* v v)))))

prune4.4s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize44.0ms

Local error

Found 4 expressions with local error:

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

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt associate-*l*
22×*-un-lft-identity
21×add-cube-cbrt
18×times-frac add-cbrt-cube add-exp-log
16×sqrt-prod
12×pow1
7×associate-*r* associate-*l/ prod-exp cbrt-unprod
4×expm1-log1p-u pow-prod-down insert-posit16 log1p-expm1-u add-log-exp
3×flip3-- flip--
2×frac-times cbrt-undiv div-exp associate-*r/ *-commutative difference-of-squares unswap-sqr
1×rem-sqrt-square sqrt-pow1 pow1/2 fma-udef div-inv
Counts
4 → 105
Calls
4 calls:
Slowest
54.0ms
(* (/ (sqrt 2) 4) (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1))))
28.0ms
(* (- 1 (* v v)) (sqrt (fma (* v v) -3 1)))
2.0ms
(sqrt (fma (* v v) -3 1))
0.0ms
(fma (* v v) -3 1)

series661.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
284.0ms
(* (/ (sqrt 2) 4) (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1))))
209.0ms
(* (- 1 (* v v)) (sqrt (fma (* v v) -3 1)))
87.0ms
(sqrt (fma (* v v) -3 1))
81.0ms
(fma (* v v) -3 1)

simplify9.8s

Counts
75 → 117
Calls
75 calls:
Slowest
513.0ms
(* (- (* 1 1) (* (* v v) (* v v))) (sqrt (fma (* v v) -3 1)))
445.0ms
(* (sqrt 2) (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1))))
436.0ms
(- (+ (* 1/4 (sqrt 2)) (* 3/32 (* (sqrt 2) (pow v 4)))) (* 5/8 (* (sqrt 2) (pow v 2))))
425.0ms
(* (/ (sqrt 2) 4) (* (- 1 (* v v)) (sqrt (fma (* v v) -3 1))))
422.0ms
(* (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v))) (* (* (sqrt (fma (* v v) -3 1)) (sqrt (fma (* v v) -3 1))) (sqrt (fma (* v v) -3 1))))

prune1.2s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize47.0ms

Local error

Found 4 expressions with local error:

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

rewrite227.0ms

Algorithm
rewrite-expression-head
Rules
486×times-frac
283×associate-*r*
281×add-sqr-sqrt
273×*-un-lft-identity
270×sqrt-prod
240×add-cube-cbrt
169×cbrt-prod
66×difference-of-squares
58×cbrt-div
42×add-exp-log
31×add-cbrt-cube
29×flip3-- flip--
23×associate-*r/
20×frac-times pow1
19×prod-exp associate-/r/ cbrt-unprod
14×associate-*l/
10×div-inv
9×cbrt-undiv div-exp associate-*l*
8×pow1/3 swap-sqr pow-prod-down
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
2×pow-sqr *-commutative pow-prod-up
1×pow2 pow-plus
Counts
4 → 418
Calls
4 calls:
Slowest
167.0ms
(* (* (sqrt (sqrt 2)) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) (/ (sqrt (sqrt 2)) (/ 4 (cbrt (- 1 (* v v))))))
29.0ms
(* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))
6.0ms
(cbrt (- 1 (* v v)))
3.0ms
(cbrt (- 1 (* v v)))

series641.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
180.0ms
(* (* (sqrt (sqrt 2)) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) (/ (sqrt (sqrt 2)) (/ 4 (cbrt (- 1 (* v v))))))
167.0ms
(cbrt (- 1 (* v v)))
147.0ms
(* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))
146.0ms
(cbrt (- 1 (* v v)))

simplify41.3s

Counts
412 → 430
Calls
412 calls:
Slowest
765.0ms
(* (* (* (* (sqrt (sqrt 2)) (sqrt (sqrt 2))) (sqrt (sqrt 2))) (* (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))))) (* (* (/ (sqrt (sqrt 2)) (/ 4 (cbrt (- 1 (* v v))))) (/ (sqrt (sqrt 2)) (/ 4 (cbrt (- 1 (* v v)))))) (/ (sqrt (sqrt 2)) (/ 4 (cbrt (- 1 (* v v)))))))
651.0ms
(* (* (* (* (sqrt (sqrt 2)) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) (* (sqrt (sqrt 2)) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))))) (* (sqrt (sqrt 2)) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))))) (/ (* (* (sqrt (sqrt 2)) (sqrt (sqrt 2))) (sqrt (sqrt 2))) (* (* (/ 4 (cbrt (- 1 (* v v)))) (/ 4 (cbrt (- 1 (* v v))))) (/ 4 (cbrt (- 1 (* v v)))))))
630.0ms
(+ (+ (log (sqrt (sqrt 2))) (+ (log (cbrt (- 1 (* v v)))) (log (cbrt (- 1 (* v v)))))) (- (log (sqrt (sqrt 2))) (log (/ 4 (cbrt (- 1 (* v v)))))))
552.0ms
(+ (+ (log (sqrt (sqrt 2))) (log (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))))) (- (log (sqrt (sqrt 2))) (log (/ 4 (cbrt (- 1 (* v v)))))))
519.0ms
(+ (log (* (sqrt (sqrt 2)) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))))) (- (log (sqrt (sqrt 2))) (- (log 4) (log (cbrt (- 1 (* v v)))))))

prune7.2s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes54.0ms

Accuracy

0% (0.0b remaining)

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

bsearch5.0ms

end0.0ms

sample2.7s

Algorithm
intervals
Results
1.3s8019×body80nan
1.2s8000×body80valid