Details

Time bar (total: 5.3m)

sample91.0ms

Algorithm
intervals
Results
43.0ms270×body80nan
32.0ms256×body80valid

simplify216.0ms

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

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

rewrite115.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
60.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
23.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
15.0ms
(sqrt (- 1 (* 3 (* v v))))
14.0ms
(* 3 (* v v))

series693.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
348.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
233.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
81.0ms
(sqrt (- 1 (* 3 (* v v))))
31.0ms
(* 3 (* v v))

simplify19.5s

Counts
125 → 145
Calls
125 calls:
Slowest
886.0ms
(sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))
866.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))))))
570.0ms
(* (sqrt 2) (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v))))))
510.0ms
(sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v)))))
504.0ms
(* (* (sqrt 2) (sqrt (- 1 (* 3 (* v v))))) (- (pow 1 3) (pow (* v v) 3)))

prune1.4s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize61.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/2 (sqrt 2)) 16) (* (- 1 (* v v)) (* (- 1 (* v v)) (- 1 (* v v)))))))
0.0b
(* (/ (* 1/2 (sqrt 2)) 16) (* (- 1 (* v v)) (* (- 1 (* v v)) (- 1 (* v v)))))

rewrite721.0ms

Algorithm
rewrite-expression-head
Rules
1460×frac-times
864×flip3-- flip--
701×associate-*r/
485×cbrt-div
324×sqrt-div
286×associate-*l/
50×add-cbrt-cube add-exp-log
27×prod-exp cbrt-unprod
24×distribute-rgt-in distribute-lft-in
23×pow1
12×pow-prod-down
10×add-sqr-sqrt
9×associate-*l*
8×sub-neg *-un-lft-identity add-cube-cbrt
7×associate-*r*
6×cbrt-undiv div-exp
4×insert-posit16 add-log-exp
3×times-frac *-commutative
2×unswap-sqr
1×cbrt-prod pow1/3 div-inv
Counts
4 → 642
Calls
4 calls:
Slowest
444.0ms
(cbrt (* (* (- 1 (* (* v v) 3)) (sqrt (- 1 (* (* v v) 3)))) (* (/ (* 1/2 (sqrt 2)) 16) (* (- 1 (* v v)) (* (- 1 (* v v)) (- 1 (* v v)))))))
191.0ms
(* (/ (* 1/2 (sqrt 2)) 16) (* (- 1 (* v v)) (* (- 1 (* v v)) (- 1 (* v v)))))
27.0ms
(* (* v v) 3)
15.0ms
(* (* v v) 3)

series906.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
653.0ms
(cbrt (* (* (- 1 (* (* v v) 3)) (sqrt (- 1 (* (* v v) 3)))) (* (/ (* 1/2 (sqrt 2)) 16) (* (- 1 (* v v)) (* (- 1 (* v v)) (- 1 (* v v)))))))
161.0ms
(* (/ (* 1/2 (sqrt 2)) 16) (* (- 1 (* v v)) (* (- 1 (* v v)) (- 1 (* v v)))))
51.0ms
(* (* v v) 3)
40.0ms
(* (* v v) 3)

simplify4.6m

Counts
641 → 654
Calls
641 calls:
Slowest
1.1s
(* (* 1/2 (sqrt 2)) (* (- 1 (* v v)) (* (- (* 1 1) (* (* v v) (* v v))) (- (* 1 1) (* (* v v) (* v v))))))
939.0ms
(cbrt (* (* (- (* 1 1) (* (* (* v v) 3) (* (* v v) 3))) (sqrt (- (pow 1 3) (pow (* (* v v) 3) 3)))) (* (/ (* 1/2 (sqrt 2)) 16) (* (- (pow 1 3) (pow (* v v) 3)) (* (- 1 (* v v)) (- 1 (* v v)))))))
864.0ms
(cbrt (* (* (- (* 1 1) (* (* (* v v) 3) (* (* v v) 3))) (sqrt (- (pow 1 3) (pow (* (* v v) 3) 3)))) (* (* 1/2 (sqrt 2)) (* (- (pow 1 3) (pow (* v v) 3)) (* (- (* 1 1) (* (* v v) (* v v))) (- (* 1 1) (* (* v v) (* v v))))))))
858.0ms
(cbrt (* (* (- (pow 1 3) (pow (* (* v v) 3) 3)) (sqrt (- (* 1 1) (* (* (* v v) 3) (* (* v v) 3))))) (* (/ (* 1/2 (sqrt 2)) 16) (* (- (pow 1 3) (pow (* v v) 3)) (* (- (pow 1 3) (pow (* v v) 3)) (- (* 1 1) (* (* v v) (* v v))))))))
841.0ms
(cbrt (* (* (- (pow 1 3) (pow (* (* v v) 3) 3)) (sqrt (- 1 (* (* v v) 3)))) (* (* 1/2 (sqrt 2)) (* (- (* 1 1) (* (* v v) (* v v))) (* (- 1 (* v v)) (- (* 1 1) (* (* v v) (* v v))))))))

prune13.6s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes83.0ms

Accuracy

0% (0.0b remaining)

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

bsearch3.0ms

end0.0ms

sample3.3s

Algorithm
intervals
Results
1.6s8121×body80nan
1.3s8000×body80valid