Details

Time bar (total: 21.6s)

sample87.0ms

Algorithm
intervals
Results
38.0ms256×body80valid
24.0ms281×body80nan

simplify6.2s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01419
13719
214619
347819
4159519
5221319
6223819
done223819

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (- 1.0 (* 3.0 (* v v))))
0.0b
(* (/ (sqrt 2.0) 4.0) (sqrt (- 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.2b
(* 3.0 (* v v))

rewrite226.0ms

Algorithm
rewrite-expression-head
Rules
43×add-sqr-sqrt
26×associate-*l*
24×add-cube-cbrt *-un-lft-identity
23×add-exp-log add-cbrt-cube
22×times-frac
20×sqrt-prod
18×frac-times sqrt-div
17×pow1
15×flip3-- flip--
11×associate-*r*
10×associate-*r/ prod-exp 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 log1p-expm1-u add-log-exp
3×*-commutative
2×cbrt-undiv sub-neg div-exp
1×rem-sqrt-square sqrt-pow1 pow1/2 div-inv difference-of-squares
Counts
4 → 142
Calls
4 calls:
11.0ms
(sqrt (- 1.0 (* 3.0 (* v v))))
60.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
123.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
24.0ms
(* 3.0 (* v v))

series936.0ms

Counts
4 → 12
Calls
4 calls:
107.0ms
(sqrt (- 1.0 (* 3.0 (* v v))))
313.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
479.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
37.0ms
(* 3.0 (* v v))

simplify2.0s

Counts
154 → 154
Iterations

Useful iterations: done (2.0s)

IterNodesCost
03013466
122393232
done50003032

prune661.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize21.0ms

Local error

Found 4 expressions with local error:

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

rewrite222.0ms

Algorithm
rewrite-expression-head
Rules
44×add-sqr-sqrt
27×*-un-lft-identity
26×associate-*l*
24×add-cube-cbrt
23×add-exp-log add-cbrt-cube
22×times-frac
20×sqrt-prod
18×pow1 frac-times
16×sqrt-div
14×flip3-- associate-*r* flip--
10×associate-*r/ prod-exp cbrt-unprod
9×associate-*l/
7×pow-prod-down unswap-sqr
6×prod-diff
5×distribute-rgt-in distribute-lft-in add-log-exp
4×expm1-log1p-u log-pow log1p-expm1-u
3×log-prod *-commutative
2×cbrt-undiv sub-neg div-exp distribute-lft-out-- difference-of-squares
1×exp-prod exp-to-pow rem-log-exp div-inv
Counts
4 → 144
Calls
4 calls:
49.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (log (exp (* 3.0 (* v v)))))))
123.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (log (exp (* 3.0 (* v v))))))) (- 1.0 (* v v)))
34.0ms
(* 3.0 (* v v))
10.0ms
(log (exp (* 3.0 (* v v))))

series862.0ms

Counts
4 → 12
Calls
4 calls:
314.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (log (exp (* 3.0 (* v v)))))))
471.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (log (exp (* 3.0 (* v v))))))) (- 1.0 (* v v)))
34.0ms
(* 3.0 (* v v))
43.0ms
(log (exp (* 3.0 (* v v))))

simplify2.0s

Counts
156 → 156
Iterations

Useful iterations: done (2.0s)

IterNodesCost
03023688
121253103
done50022919

prune750.0ms

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 (pow (/ (sqrt 2.0) (/ 4.0 (* (fma v (- v) 1.0) (sqrt (- 1.0 (* 3.0 (* v v))))))) 3))
0.0b
(/ (sqrt 2.0) (/ 4.0 (* (fma v (- v) 1.0) (sqrt (- 1.0 (* 3.0 (* v v)))))))
0.2b
(* 3.0 (* v v))
1.0b
(pow (/ (sqrt 2.0) (/ 4.0 (* (fma v (- v) 1.0) (sqrt (- 1.0 (* 3.0 (* v v))))))) 3)

rewrite235.0ms

Algorithm
rewrite-expression-head
Rules
363×times-frac
166×add-sqr-sqrt
165×add-cube-cbrt *-un-lft-identity
138×sqrt-prod
124×cbrt-prod
118×unpow-prod-down cube-prod
67×associate-/r/
62×sqrt-div associate-*r/
36×div-inv
31×flip3-- flip--
28×add-exp-log add-cbrt-cube
10×pow1 cbrt-undiv div-exp
9×associate-/r*
6×associate-/l*
5×prod-exp cbrt-unprod
4×expm1-log1p-u pow-exp log1p-expm1-u add-log-exp rem-cube-cbrt
3×pow-unpow associate-*l* pow-prod-down
2×cube-div cube-mult unpow3 sqr-pow
1×pow-to-exp cbrt-div pow-pow frac-2neg pow1/3 associate-*r* clear-num *-commutative rem-cbrt-cube unswap-sqr
Counts
4 → 389
Calls
4 calls:
44.0ms
(cbrt (pow (/ (sqrt 2.0) (/ 4.0 (* (fma v (- v) 1.0) (sqrt (- 1.0 (* 3.0 (* v v))))))) 3))
51.0ms
(/ (sqrt 2.0) (/ 4.0 (* (fma v (- v) 1.0) (sqrt (- 1.0 (* 3.0 (* v v)))))))
34.0ms
(* 3.0 (* v v))
59.0ms
(pow (/ (sqrt 2.0) (/ 4.0 (* (fma v (- v) 1.0) (sqrt (- 1.0 (* 3.0 (* v v))))))) 3)

series2.3s

Counts
4 → 12
Calls
4 calls:
409.0ms
(cbrt (pow (/ (sqrt 2.0) (/ 4.0 (* (fma v (- v) 1.0) (sqrt (- 1.0 (* 3.0 (* v v))))))) 3))
598.0ms
(/ (sqrt 2.0) (/ 4.0 (* (fma v (- v) 1.0) (sqrt (- 1.0 (* 3.0 (* v v)))))))
42.0ms
(* 3.0 (* v v))
1.3s
(pow (/ (sqrt 2.0) (/ 4.0 (* (fma v (- v) 1.0) (sqrt (- 1.0 (* 3.0 (* v v))))))) 3)

simplify831.0ms

Counts
401 → 401
Iterations

Useful iterations: done (791.0ms)

IterNodesCost
053514498
done500012787

prune1.8s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes28.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
01822
12022
done2022

end0.0ms

sample2.3s

Algorithm
intervals
Results
1.2s8000×body80valid
758.0ms7943×body80nan