Details

Time bar (total: 32.0s)

sample91.0ms

Algorithm
intervals
Results
37.0ms250×body80nan
37.0ms256×body80valid

simplify1.8s

Counts
1 → 1
Iterations
IterNodes
62589
51659
4778
3233
271
127
014

prune23.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite88.0ms

Algorithm
rewrite-expression-head
Rules
41×add-sqr-sqrt
25×associate-*l*
23×*-un-lft-identity add-cube-cbrt
22×times-frac
20×sqrt-prod
14×add-cbrt-cube add-exp-log
12×pow1
7×associate-*r* unswap-sqr
6×sqrt-div add-log-exp
5×prod-exp cbrt-unprod
4×expm1-log1p-u flip3-- pow-prod-down insert-posit16 log1p-expm1-u flip--
3×fma-neg prod-diff
2×frac-times associate-*r/ *-commutative
1×cbrt-undiv rem-sqrt-square sub-neg sqrt-pow1 pow1/2 diff-log div-exp associate-*l/ div-inv
Counts
4 → 116
Calls
4 calls:
8.0ms
(- 1 (* 3 (* v v)))
11.0ms
(sqrt (- 1 (* 3 (* v v))))
43.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
24.0ms
(* 3 (* v v))

series389.0ms

Counts
4 → 12
Calls
4 calls:
61.0ms
(- 1 (* 3 (* v v)))
73.0ms
(sqrt (- 1 (* 3 (* v v))))
227.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
27.0ms
(* 3 (* v v))

simplify5.9s

Counts
128 → 128
Iterations
IterNodes
36213
21550
1525
0210

prune1.3s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize39.0ms

Local error

Found 4 expressions with local error:

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

rewrite181.0ms

Algorithm
rewrite-expression-head
Rules
76×sqrt-prod
72×sqrt-div
68×add-sqr-sqrt
42×pow1
37×associate-*l*
32×sqrt-pow1
31×*-un-lft-identity add-cube-cbrt
28×add-cbrt-cube add-exp-log
20×frac-times times-frac
18×flip3-- flip--
16×pow1/2
15×swap-sqr
14×pow-prod-down associate-*r/ unswap-sqr
13×prod-exp cbrt-unprod
12×associate-*r*
9×pow-prod-up
7×associate-*l/
5×pow-sqr
4×expm1-log1p-u *-commutative insert-posit16 log1p-expm1-u add-log-exp
2×cbrt-undiv div-exp
1×pow2 rem-square-sqrt pow-plus sqrt-unprod div-inv
Counts
4 → 194
Calls
4 calls:
90.0ms
(* (/ (sqrt 2) 4) (* (sqrt (sqrt (- 1 (* 3 (* v v))))) (sqrt (sqrt (- 1 (* 3 (* v v)))))))
35.0ms
(* (sqrt (sqrt (- 1 (* 3 (* v v))))) (sqrt (sqrt (- 1 (* 3 (* v v))))))
27.0ms
(* 3 (* v v))
25.0ms
(* 3 (* v v))

series376.0ms

Counts
4 → 12
Calls
4 calls:
215.0ms
(* (/ (sqrt 2) 4) (* (sqrt (sqrt (- 1 (* 3 (* v v))))) (sqrt (sqrt (- 1 (* 3 (* v v)))))))
83.0ms
(* (sqrt (sqrt (- 1 (* 3 (* v v))))) (sqrt (sqrt (- 1 (* 3 (* v v))))))
45.0ms
(* 3 (* v v))
33.0ms
(* 3 (* v v))

simplify4.3s

Counts
206 → 206
Iterations
IterNodes
36573
21821
1693
0275

prune2.5s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize62.0ms

Local error

Found 4 expressions with local error:

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

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
276×times-frac
158×add-sqr-sqrt
157×*-un-lft-identity add-cube-cbrt
147×sqrt-prod
28×associate-/r*
11×add-cbrt-cube add-exp-log
9×div-inv associate-/l*
5×pow1
4×expm1-log1p-u cbrt-undiv div-exp insert-posit16 log1p-expm1-u add-log-exp
2×clear-num frac-2neg
1×rem-sqrt-square sqrt-pow1 pow1/2 associate-/r/ fma-udef
Counts
4 → 247
Calls
4 calls:
0.0ms
(fma (* v -3) v 1)
2.0ms
(sqrt (fma (* v -3) v 1))
8.0ms
(/ 4 (sqrt (fma (* v -3) v 1)))
16.0ms
(/ (sqrt 2) (/ 4 (sqrt (fma (* v -3) v 1))))

series584.0ms

Counts
4 → 12
Calls
4 calls:
96.0ms
(fma (* v -3) v 1)
78.0ms
(sqrt (fma (* v -3) v 1))
177.0ms
(/ 4 (sqrt (fma (* v -3) v 1)))
233.0ms
(/ (sqrt 2) (/ 4 (sqrt (fma (* v -3) v 1))))

simplify1.3s

Counts
259 → 259
Iterations
IterNodes
22276
1881
0363

prune3.1s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize47.0ms

Local error

Found 4 expressions with local error:

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

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
190×cbrt-prod
163×add-sqr-sqrt
154×times-frac
103×*-un-lft-identity add-cube-cbrt
77×sqrt-prod
31×swap-sqr
25×associate-*r* associate-*l*
16×unswap-sqr
11×pow1
9×pow1/3
7×cbrt-div div-inv
6×add-exp-log
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 frac-times pow-plus associate-*l/ prod-exp associate-*r/ *-commutative cbrt-unprod
Counts
4 → 223
Calls
4 calls:
3.0ms
(cbrt (/ 4 (sqrt (fma (* v -3) v 1))))
2.0ms
(cbrt (/ 4 (sqrt (fma (* v -3) v 1))))
2.0ms
(cbrt (/ 4 (sqrt (fma (* v -3) v 1))))
20.0ms
(* (cbrt (/ 4 (sqrt (fma (* v -3) v 1)))) (cbrt (/ 4 (sqrt (fma (* v -3) v 1)))))

series1.1s

Counts
4 → 12
Calls
4 calls:
273.0ms
(cbrt (/ 4 (sqrt (fma (* v -3) v 1))))
259.0ms
(cbrt (/ 4 (sqrt (fma (* v -3) v 1))))
234.0ms
(cbrt (/ 4 (sqrt (fma (* v -3) v 1))))
295.0ms
(* (cbrt (/ 4 (sqrt (fma (* v -3) v 1)))) (cbrt (/ 4 (sqrt (fma (* v -3) v 1)))))

simplify2.4s

Counts
235 → 235
Iterations
IterNodes
34802
21206
1481
0246

prune3.4s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes76.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify7.0ms

Iterations
IterNodes
219
119
016

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.6s7995×body80nan
1.0s8000×body80valid