Details

Time bar (total: 13.5s)

sample55.0ms

Algorithm
intervals
Results
18.0ms256×body80valid
18.0ms262×body80nan

simplify4.6s

Counts
1 → 1
Iterations
IterNodes
done1906
101906
91870
81842
71645
61282
5856
4432
3193
270
127
014

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (sqrt 2.0) (* (sqrt (fma 3.0 (* (- v) v) 1.0)) (/ (fma (- v) v 1.0) 4.0)))
0.0b
(* (sqrt (fma 3.0 (* (- v) v) 1.0)) (/ (fma (- v) v 1.0) 4.0))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
16×add-cbrt-cube add-exp-log
14×associate-*r*
13×*-un-lft-identity add-cube-cbrt
12×associate-*l*
11×times-frac
9×pow1
8×sqrt-prod
7×prod-exp cbrt-unprod
4×pow-prod-down unswap-sqr
3×associate-*r/
2×expm1-log1p-u cbrt-undiv div-exp *-commutative log1p-expm1-u add-log-exp
1×div-inv
Counts
2 → 65
Calls
2 calls:
32.0ms
(* (sqrt 2.0) (* (sqrt (fma 3.0 (* (- v) v) 1.0)) (/ (fma (- v) v 1.0) 4.0)))
23.0ms
(* (sqrt (fma 3.0 (* (- v) v) 1.0)) (/ (fma (- v) v 1.0) 4.0))

series773.0ms

Counts
2 → 6
Calls
2 calls:
451.0ms
(* (sqrt 2.0) (* (sqrt (fma 3.0 (* (- v) v) 1.0)) (/ (fma (- v) v 1.0) 4.0)))
321.0ms
(* (sqrt (fma 3.0 (* (- v) v) 1.0)) (/ (fma (- v) v 1.0) 4.0))

simplify1.4s

Counts
71 → 71
Iterations
IterNodes
done5001
22535
1520
0186

prune480.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (* (sqrt 2.0) (sqrt (fma (* v (- v)) 3.0 1.0))) (/ (fma (- v) v 1.0) 4.0))
0.0b
(* (sqrt 2.0) (sqrt (fma (* v (- v)) 3.0 1.0)))
0.0b
(cbrt (pow (* (* (sqrt 2.0) (sqrt (fma (* v (- v)) 3.0 1.0))) (/ (fma (- v) v 1.0) 4.0)) 3))
1.0b
(pow (* (* (sqrt 2.0) (sqrt (fma (* v (- v)) 3.0 1.0))) (/ (fma (- v) v 1.0) 4.0)) 3)

rewrite103.0ms

Algorithm
rewrite-expression-head
Rules
31×add-cbrt-cube add-exp-log
25×add-sqr-sqrt
19×pow1 associate-*r*
17×*-un-lft-identity add-cube-cbrt
13×prod-exp cbrt-unprod
10×sqrt-prod
9×times-frac pow-prod-down
8×cbrt-prod
7×associate-*l*
5×pow-exp rem-cube-cbrt
4×expm1-log1p-u cbrt-undiv div-exp log1p-expm1-u add-log-exp unswap-sqr
3×pow-unpow pow-pow associate-*r/
2×cube-div cube-mult unpow-prod-down sqrt-pow1 pow1/2 unpow3 cube-prod *-commutative sqr-pow
1×pow-to-exp cbrt-div pow1/3 sqrt-unprod rem-cbrt-cube div-inv
Counts
4 → 119
Calls
4 calls:
56.0ms
(* (* (sqrt 2.0) (sqrt (fma (* v (- v)) 3.0 1.0))) (/ (fma (- v) v 1.0) 4.0))
10.0ms
(* (sqrt 2.0) (sqrt (fma (* v (- v)) 3.0 1.0)))
4.0ms
(cbrt (pow (* (* (sqrt 2.0) (sqrt (fma (* v (- v)) 3.0 1.0))) (/ (fma (- v) v 1.0) 4.0)) 3))
26.0ms
(pow (* (* (sqrt 2.0) (sqrt (fma (* v (- v)) 3.0 1.0))) (/ (fma (- v) v 1.0) 4.0)) 3)

series2.2s

Counts
4 → 12
Calls
4 calls:
419.0ms
(* (* (sqrt 2.0) (sqrt (fma (* v (- v)) 3.0 1.0))) (/ (fma (- v) v 1.0) 4.0))
226.0ms
(* (sqrt 2.0) (sqrt (fma (* v (- v)) 3.0 1.0)))
346.0ms
(cbrt (pow (* (* (sqrt 2.0) (sqrt (fma (* v (- v)) 3.0 1.0))) (/ (fma (- v) v 1.0) 4.0)) 3))
1.2s
(pow (* (* (sqrt 2.0) (sqrt (fma (* v (- v)) 3.0 1.0))) (/ (fma (- v) v 1.0) 4.0)) 3)

simplify531.0ms

Counts
131 → 131
Iterations
IterNodes
done5000
1833
0283

prune808.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes53.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done19
119
014

end0.0ms

sample2.4s

Algorithm
intervals
Results
1.2s8000×body80valid
756.0ms8221×body80nan