Details

Time bar (total: 16.5s)

sample33.0ms

Algorithm
intervals
Results
10.0ms250×body80nan
9.0ms256×body80valid

simplify4.1s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01419
12719
27019
319219
440019
575319
6105819
7120219
8131219
9131819
done131819

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite269.0ms

Algorithm
rewrite-expression-head
Rules
43×add-sqr-sqrt
26×associate-*l*
25×add-cube-cbrt *-un-lft-identity
23×add-exp-log add-cbrt-cube
22×times-frac
18×frac-times
17×sqrt-prod
16×pow1 sqrt-div
15×flip3-- flip--
11×associate-*r*
10×associate-*r/ prod-exp cbrt-unprod
9×prod-diff associate-*l/
7×pow-prod-down unswap-sqr
6×add-log-exp
5×distribute-rgt-in distribute-lft-in
4×expm1-log1p-u log1p-expm1-u
3×sub-neg fma-neg *-commutative
2×cbrt-undiv div-exp
1×diff-log div-inv difference-of-squares
Counts
4 → 145
Calls
4 calls:
13.0ms
(- 1.0 (* 3.0 (* v v)))
141.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
72.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
37.0ms
(* 3.0 (* v v))

series812.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(- 1.0 (* 3.0 (* v v)))
387.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
321.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
38.0ms
(* 3.0 (* v v))

simplify2.2s

Counts
157 → 157
Iterations

Useful iterations: done (2.2s)

IterNodesCost
02963439
18273171
230832928
done50002916

prune546.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite724.0ms

Algorithm
rewrite-expression-head
Rules
1048×sqrt-div
867×frac-times
434×flip3-- flip--
307×associate-*r/
306×associate-*l/
143×pow1
78×pow-prod-down
60×sqrt-pow1
45×add-sqr-sqrt
32×associate-*l*
25×add-cube-cbrt *-un-lft-identity
22×times-frac
21×add-exp-log sqrt-prod add-cbrt-cube
17×pow-prod-up
12×pow1/2 associate-*r*
11×pow-sqr
9×prod-exp cbrt-unprod unswap-sqr
4×expm1-log1p-u swap-sqr *-commutative log1p-expm1-u add-log-exp
1×cbrt-undiv pow2 pow-plus sqrt-unprod div-exp rem-square-sqrt div-inv
Counts
4 → 487
Calls
4 calls:
51.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
20.0ms
(* 3.0 (* v v))
19.0ms
(* 3.0 (* v v))
526.0ms
(* (sqrt (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))) (sqrt (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))))

series877.0ms

Counts
4 → 12
Calls
4 calls:
262.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
48.0ms
(* 3.0 (* v v))
52.0ms
(* 3.0 (* v v))
515.0ms
(* (sqrt (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))) (sqrt (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))))

simplify3.0s

Counts
499 → 499
Iterations

Useful iterations: done (2.9s)

IterNodesCost
094233773
1146527908
2412726407
done500026256

prune2.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

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01419
11719
done1719

end0.0ms

sample1.3s

Algorithm
intervals
Results
448.0ms8000×body80valid
444.0ms8080×body80nan