Details

Time bar (total: 16.9s)

sample47.0ms

Algorithm
intervals
Results
13.0ms256×body80valid
11.0ms208×body80nan

simplify4.0s

Counts
1 → 1
Iterations
IterNodes
done5002
64562
51910
4775
3235
273
129
014

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite153.0ms

Algorithm
rewrite-expression-head
Rules
43×add-sqr-sqrt
26×associate-*l*
25×*-un-lft-identity
24×add-cube-cbrt
23×add-cbrt-cube add-exp-log
22×times-frac
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
6×prod-diff
5×distribute-rgt-in distribute-lft-in
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×*-commutative
2×cbrt-undiv sub-neg div-exp difference-of-squares
1×rem-sqrt-square sqrt-pow1 pow1/2 div-inv
Counts
4 → 147
Calls
4 calls:
82.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
39.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
11.0ms
(sqrt (- 1 (* 3 (* v v))))
17.0ms
(* 3 (* v v))

series712.0ms

Counts
4 → 12
Calls
4 calls:
325.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
251.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
99.0ms
(sqrt (- 1 (* 3 (* v v))))
36.0ms
(* 3 (* v v))

simplify2.1s

Counts
159 → 159
Iterations
IterNodes
done5010
23161
1874
0294

prune789.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize53.0ms

Local error

Found 4 expressions with local error:

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

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
37×add-sqr-sqrt
28×*-un-lft-identity add-cube-cbrt
22×associate-*l* sqrt-prod
20×times-frac
18×exp-prod
14×log-pow
10×associate-*r*
9×pow1 log-prod add-cbrt-cube add-exp-log
5×add-log-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×distribute-rgt-in distribute-lft-in unswap-sqr
2×prod-exp cbrt-unprod
1×cbrt-undiv rem-sqrt-square sqrt-pow1 pow1/2 div-exp rem-log-exp pow-prod-down associate-*l/ *-commutative div-inv rem-exp-log
Counts
4 → 112
Calls
4 calls:
4.0ms
(exp (sqrt (fma (* v v) -3 1)))
37.0ms
(* (/ (sqrt 2) 4) (log (exp (sqrt (fma (* v v) -3 1)))))
1.0ms
(sqrt (fma (* v v) -3 1))
4.0ms
(log (exp (sqrt (fma (* v v) -3 1))))

series369.0ms

Counts
4 → 12
Calls
4 calls:
54.0ms
(exp (sqrt (fma (* v v) -3 1)))
177.0ms
(* (/ (sqrt 2) 4) (log (exp (sqrt (fma (* v v) -3 1)))))
71.0ms
(sqrt (fma (* v v) -3 1))
66.0ms
(log (exp (sqrt (fma (* v v) -3 1))))

simplify1.3s

Counts
124 → 124
Iterations
IterNodes
done5000
21295
1474
0197

prune552.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize73.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* 3 v) v)
0.1b
(* (* 3 v) v)
0.1b
(* (* 3 v) v)
0.2b
(* (* (* 3 v) v) (* (* 3 v) v))

rewrite183.0ms

Algorithm
rewrite-expression-head
Rules
133×pow1
75×pow-prod-down
55×add-cbrt-cube add-exp-log
36×prod-exp cbrt-unprod
10×associate-*r*
9×pow-sqr pow-prod-up
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u associate-*l* *-commutative insert-posit16 log1p-expm1-u add-log-exp
3×pow-plus
1×pow2 swap-sqr
Counts
4 → 126
Calls
4 calls:
27.0ms
(* (* 3 v) v)
17.0ms
(* (* 3 v) v)
25.0ms
(* (* 3 v) v)
105.0ms
(* (* (* 3 v) v) (* (* 3 v) v))

series164.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(* (* 3 v) v)
47.0ms
(* (* 3 v) v)
35.0ms
(* (* 3 v) v)
45.0ms
(* (* (* 3 v) v) (* (* 3 v) v))

simplify3.4s

Counts
138 → 138
Iterations
IterNodes
done5000
33911
2726
1202
075

prune734.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes67.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done19
119
015

end0.0ms

sample2.2s

Algorithm
intervals
Results
1.2s8000×body80valid
763.0ms8095×body80nan