Details

Time bar (total: 21.7s)

sample43.0ms

Algorithm
intervals
Results
14.0ms281×body80nan
13.0ms256×body80valid

simplify2.7s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01419
12719
27019
318019
435619
565719
693519
7105219
8113319
done113319

prune6.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
(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))

rewrite213.0ms

Algorithm
rewrite-expression-head
Rules
41×add-sqr-sqrt
26×associate-*l*
23×add-exp-log add-cbrt-cube
22×add-cube-cbrt *-un-lft-identity 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
4×add-log-exp
3×*-commutative
2×cbrt-undiv distribute-rgt-in sub-neg distribute-lft-in div-exp
1×rem-sqrt-square sqrt-pow1 pow1/2 div-inv difference-of-squares
Counts
4 → 128
Calls
4 calls:
6.0ms
(sqrt (- 1.0 (* 3.0 (* v v))))
54.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
110.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
37.0ms
(* 3.0 (* v v))

series917.0ms

Counts
4 → 12
Calls
4 calls:
134.0ms
(sqrt (- 1.0 (* 3.0 (* v v))))
276.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
472.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
35.0ms
(* 3.0 (* v v))

simplify2.1s

Counts
140 → 140
Iterations

Useful iterations: 2 (715.0ms)

IterNodesCost
02783102
17962836
229712648
done50012648

prune635.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize17.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))))

rewrite281.0ms

Algorithm
rewrite-expression-head
Rules
42×add-sqr-sqrt
26×associate-*l*
25×*-un-lft-identity
23×add-exp-log add-cbrt-cube
22×add-cube-cbrt 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
5×add-log-exp
4×log-pow
3×log-prod *-commutative
2×cbrt-undiv distribute-rgt-in sub-neg distribute-lft-in div-exp distribute-lft-out-- difference-of-squares
1×exp-prod exp-to-pow rem-log-exp div-inv
Counts
4 → 130
Calls
4 calls:
94.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (log (exp (* 3.0 (* v v)))))))
146.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (log (exp (* 3.0 (* v v))))))) (- 1.0 (* v v)))
25.0ms
(* 3.0 (* v v))
5.0ms
(log (exp (* 3.0 (* v v))))

series861.0ms

Counts
4 → 12
Calls
4 calls:
312.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (log (exp (* 3.0 (* v v)))))))
464.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (log (exp (* 3.0 (* v v))))))) (- 1.0 (* v v)))
30.0ms
(* 3.0 (* v v))
54.0ms
(log (exp (* 3.0 (* v v))))

simplify1.9s

Counts
142 → 142
Iterations

Useful iterations: done (1.9s)

IterNodesCost
02793294
17652721
227852541
done50012531

prune777.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite345.0ms

Algorithm
rewrite-expression-head
Rules
42×add-sqr-sqrt
37×add-exp-log add-cbrt-cube
34×frac-times
31×associate-*l*
28×sqrt-div
26×flip3-- flip--
25×times-frac
24×associate-*r/
23×add-cube-cbrt *-un-lft-identity
17×sqrt-prod associate-/l/
16×pow1
15×prod-exp cbrt-unprod
11×associate-*l/
8×associate-*r*
7×cbrt-undiv div-exp pow-prod-down unswap-sqr
4×add-log-exp
3×associate-/r* *-commutative difference-of-squares
2×associate-/r/ div-inv
1×unpow-prod-down frac-2neg flip3-+ clear-num flip-+ associate-/l* sqr-pow
Counts
4 → 155
Calls
4 calls:
136.0ms
(* (- (* 1.0 1.0) (pow v 4)) (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))))
51.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
129.0ms
(/ (* (- (* 1.0 1.0) (pow v 4)) (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))) (+ 1.0 (* v v)))
20.0ms
(* 3.0 (* v v))

series1.3s

Counts
4 → 12
Calls
4 calls:
409.0ms
(* (- (* 1.0 1.0) (pow v 4)) (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))))
307.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
596.0ms
(/ (* (- (* 1.0 1.0) (pow v 4)) (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))) (+ 1.0 (* v v)))
31.0ms
(* 3.0 (* v v))

simplify2.8s

Counts
167 → 167
Iterations

Useful iterations: done (2.8s)

IterNodesCost
03424570
19544180
239613728
done50013727

prune983.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize19.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))
1.0b
(/ (+ 1.0 (* v v)) (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))))
1.0b
(/ (- (* 1.0 1.0) (pow v 4)) (/ (+ 1.0 (* v v)) (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))))

rewrite222.0ms

Algorithm
rewrite-expression-head
Rules
118×times-frac
92×add-sqr-sqrt
49×add-cube-cbrt *-un-lft-identity
41×associate-/r/
39×difference-of-squares
37×add-exp-log add-cbrt-cube
36×sqrt-div
25×associate-*l*
19×flip3-- flip--
18×frac-times associate-*r/
17×sqrt-prod
13×cbrt-undiv unpow-prod-down div-exp associate-/r* sqr-pow
11×pow1
10×div-inv
9×associate-*l/ prod-exp cbrt-unprod associate-/l*
7×associate-*r* unswap-sqr
4×pow-prod-down associate-/l/ add-log-exp
2×frac-2neg clear-num *-commutative
1×flip3-+ div-sub flip-+
Counts
4 → 213
Calls
4 calls:
46.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
21.0ms
(* 3.0 (* v v))
51.0ms
(/ (+ 1.0 (* v v)) (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))))
84.0ms
(/ (- (* 1.0 1.0) (pow v 4)) (/ (+ 1.0 (* v v)) (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))))

series1.4s

Counts
4 → 12
Calls
4 calls:
305.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
39.0ms
(* 3.0 (* v v))
510.0ms
(/ (+ 1.0 (* v v)) (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))))
549.0ms
(/ (- (* 1.0 1.0) (pow v 4)) (/ (+ 1.0 (* v v)) (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))))

simplify894.0ms

Counts
225 → 225
Iterations

Useful iterations: done (883.0ms)

IterNodesCost
04877411
113707005
done50006563

prune1.2s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes48.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01927
12227
done2227

end0.0ms

sample1.8s

Algorithm
intervals
Results
760.0ms7943×body80nan
667.0ms8000×body80valid