Details

Time bar (total: 14.5s)

sample110.0ms

Algorithm
intervals
Results
45.0ms263×body80nan
42.0ms256×body80valid

simplify1.5s

Counts
1 → 1
Iterations
IterNodes
62299
51497
4711
3221
271
127
014

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 3 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.2b
(* 3 (* v v))

rewrite140.0ms

Algorithm
rewrite-expression-head
Rules
38×add-sqr-sqrt
26×associate-*l*
22×times-frac add-cbrt-cube add-exp-log
21×*-un-lft-identity
20×add-cube-cbrt
18×frac-times
17×sqrt-prod
16×sqrt-div
15×pow1
14×flip3-- flip--
12×associate-*r*
10×prod-exp associate-*r/ cbrt-unprod
9×associate-*l/
7×pow-prod-down unswap-sqr
3×*-commutative insert-posit16 add-log-exp
2×distribute-rgt-in cbrt-undiv sub-neg distribute-lft-in div-exp difference-of-squares
1×div-inv
Counts
3 → 117
Calls
3 calls:
76.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
36.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
26.0ms
(* 3 (* v v))

series591.0ms

Counts
3 → 9
Calls
3 calls:
333.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
219.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
38.0ms
(* 3 (* v v))

simplify1.7s

Counts
126 → 126
Iterations
IterNodes
22766
1762
0251

prune980.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize23.0ms

Local error

Found 3 expressions with local error:

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

rewrite160.0ms

Algorithm
rewrite-expression-head
Rules
31×associate-*l*
26×add-sqr-sqrt
22×add-cbrt-cube add-exp-log
21×*-un-lft-identity
20×frac-times add-cube-cbrt
18×times-frac flip3-- sqrt-div flip--
15×pow1
14×associate-*r/
13×sqrt-prod
10×distribute-rgt-in distribute-lft-in prod-exp cbrt-unprod
7×associate-*r* pow-prod-down associate-*l/
6×sub-neg
3×*-commutative insert-posit16 add-log-exp unswap-sqr
2×cbrt-undiv div-exp difference-of-squares
1×div-inv
Counts
3 → 124
Calls
3 calls:
48.0ms
(* (sqrt (- 1 (* 3 (* v v)))) (- 1 (* v v)))
81.0ms
(* (/ (sqrt 2) 4) (* (sqrt (- 1 (* 3 (* v v)))) (- 1 (* v v))))
28.0ms
(* 3 (* v v))

series517.0ms

Counts
3 → 9
Calls
3 calls:
188.0ms
(* (sqrt (- 1 (* 3 (* v v)))) (- 1 (* v v)))
292.0ms
(* (/ (sqrt 2) 4) (* (sqrt (- 1 (* 3 (* v v)))) (- 1 (* v v))))
37.0ms
(* 3 (* v v))

simplify1.5s

Counts
133 → 133
Iterations
IterNodes
22925
1794
0267

prune1.2s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize100.0ms

Local error

Found 4 expressions with local error:

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

rewrite142.0ms

Algorithm
rewrite-expression-head
Rules
158×pow1
48×pow-prod-up
32×pow-prod-down
31×add-cbrt-cube add-exp-log
30×pow-plus
26×pow-sqr
17×pow2 prod-exp cbrt-unprod
9×add-sqr-sqrt
8×associate-*r*
7×*-un-lft-identity add-cube-cbrt
6×associate-*l*
4×*-commutative insert-posit16 add-log-exp
3×unswap-sqr
2×pow3
1×swap-sqr
Counts
4 → 141
Calls
4 calls:
29.0ms
(* (* v v) v)
35.0ms
(* (* v v) v)
47.0ms
(* (* v v) (* v v))
27.0ms
(* v (* 3 v))

series174.0ms

Counts
4 → 12
Calls
4 calls:
51.0ms
(* (* v v) v)
46.0ms
(* (* v v) v)
44.0ms
(* (* v v) (* v v))
32.0ms
(* v (* 3 v))

simplify1.3s

Counts
153 → 153
Iterations
IterNodes
32209
2750
1235
093

prune1.0s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes70.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify9.0ms

Iterations
IterNodes
232
132
023

end0.0ms

sample3.3s

Algorithm
intervals
Results
1.8s8000×body80valid
1.2s7867×body80nan