Details

Time bar (total: 23.7s)

sample74.0ms

Algorithm
intervals
Results
25.0ms281×body80nan
23.0ms256×body80valid

simplify4.6s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01419
13719
214619
344819
4143519
5189419
6189519
done189519

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

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

rewrite205.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:
5.0ms
(sqrt (- 1.0 (* 3.0 (* v v))))
45.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
112.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
34.0ms
(* 3.0 (* v v))

series836.0ms

Counts
4 → 12
Calls
4 calls:
118.0ms
(sqrt (- 1.0 (* 3.0 (* v v))))
244.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
443.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
31.0ms
(* 3.0 (* v v))

simplify1.6s

Counts
140 → 140
Iterations

Useful iterations: done (1.6s)

IterNodesCost
02783102
120182900
done50012677

prune565.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

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

rewrite209.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:
58.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (log (exp (* 3.0 (* v v)))))))
92.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (log (exp (* 3.0 (* v v))))))) (- 1.0 (* v v)))
44.0ms
(* 3.0 (* v v))
10.0ms
(log (exp (* 3.0 (* v v))))

series844.0ms

Counts
4 → 12
Calls
4 calls:
315.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (log (exp (* 3.0 (* v v)))))))
453.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (log (exp (* 3.0 (* v v))))))) (- 1.0 (* v v)))
47.0ms
(* 3.0 (* v v))
29.0ms
(log (exp (* 3.0 (* v v))))

simplify1.7s

Counts
142 → 142
Iterations

Useful iterations: done (1.7s)

IterNodesCost
02793294
119132773
done50002569

prune640.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
0.0b
(/ (* (- (* 1.0 1.0) (* v (pow v 3))) (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))) (+ 1.0 (* v v)))
0.1b
(* v (pow v 3))
0.2b
(* 3.0 (* v v))

rewrite212.0ms

Algorithm
rewrite-expression-head
Rules
50×add-sqr-sqrt
33×add-exp-log
30×add-cbrt-cube
28×associate-*l*
26×add-cube-cbrt *-un-lft-identity
25×times-frac
19×associate-*r*
18×frac-times
17×sqrt-prod associate-/l/
16×sqrt-div
14×flip3-- flip--
13×associate-*r/ prod-exp
12×pow1
11×cbrt-unprod unswap-sqr
6×cbrt-undiv div-exp associate-*l/
4×unpow-prod-down cube-prod pow-prod-down add-log-exp
3×associate-/r* *-commutative
2×associate-/r/ div-inv sqr-pow
1×cube-mult pow-to-exp frac-2neg flip3-+ unpow3 pow-exp clear-num pow-prod-up flip-+ associate-/l*
Counts
4 → 147
Calls
4 calls:
47.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
94.0ms
(/ (* (- (* 1.0 1.0) (* v (pow v 3))) (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))) (+ 1.0 (* v v)))
19.0ms
(* v (pow v 3))
44.0ms
(* 3.0 (* v v))

series1.2s

Counts
4 → 12
Calls
4 calls:
299.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
837.0ms
(/ (* (- (* 1.0 1.0) (* v (pow v 3))) (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))) (+ 1.0 (* v v)))
60.0ms
(* v (pow v 3))
40.0ms
(* 3.0 (* v v))

simplify4.3s

Counts
159 → 159
Iterations

Useful iterations: done (4.2s)

IterNodesCost
03213359
140003104
done50012646

prune765.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize41.0ms

Local error

Found 4 expressions with local error:

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

rewrite214.0ms

Algorithm
rewrite-expression-head
Rules
51×times-frac
40×add-sqr-sqrt
37×add-exp-log
34×add-cbrt-cube
32×add-cube-cbrt *-un-lft-identity
26×associate-/r/
20×sqrt-div
13×associate-*r* associate-/r*
12×cbrt-undiv div-exp
11×flip3-- flip--
10×pow1 frac-times associate-*r/ prod-exp
8×cbrt-unprod
6×associate-*l* div-inv associate-/l*
5×associate-*l/ unswap-sqr
4×unpow-prod-down cube-prod associate-/l/ add-log-exp
3×pow-prod-down
2×frac-2neg clear-num *-commutative sqr-pow
1×cube-mult pow-to-exp flip3-+ unpow3 div-sub pow-exp pow-prod-up flip-+
Counts
4 → 154
Calls
4 calls:
25.0ms
(* v (pow v 3))
30.0ms
(* 3.0 (* v v))
68.0ms
(/ (+ 1.0 (* v v)) (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))))
78.0ms
(/ (- (* 1.0 1.0) (* v (pow v 3))) (/ (+ 1.0 (* v v)) (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))))

series1.3s

Counts
4 → 12
Calls
4 calls:
60.0ms
(* v (pow v 3))
34.0ms
(* 3.0 (* v v))
531.0ms
(/ (+ 1.0 (* v v)) (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))))
666.0ms
(/ (- (* 1.0 1.0) (* v (pow v 3))) (/ (+ 1.0 (* v v)) (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))))

simplify747.0ms

Counts
166 → 166
Iterations

Useful iterations: done (738.0ms)

IterNodesCost
03815023
done50014809

prune1.0s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes32.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02029
12429
done2429

end0.0ms

sample2.4s

Algorithm
intervals
Results
1.3s7943×body80nan
709.0ms8000×body80valid