Details

Time bar (total: 3.3m)

sample83.0ms

Algorithm
intervals
Results
8.0ms67×body1280valid
6.0ms166×body80valid
6.0ms58×body640valid
3.0ms34×body320valid
1.0ms20×body160valid

simplify474.0ms

Calls
1 calls:
Slowest
473.0ms
(- (* (+ x 1) (+ x 1)) 1)

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 1 expressions with local error:

0.0b
(* (+ 2 x) x)

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt *-un-lft-identity
4×associate-*l*
3×pow1 add-cbrt-cube associate-*r* add-exp-log add-cube-cbrt
2×associate-*l/
1×flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ insert-posit16 distribute-lft-out add-log-exp unswap-sqr
Calls
1 calls:
Slowest
13.0ms
(* (+ 2 x) x)

series55.0ms

Calls
1 calls:
Slowest
55.0ms
(* (+ 2 x) x)

simplify751.0ms

Calls
14 calls:
Slowest
359.0ms
(* (* (* (+ 2 x) (+ 2 x)) (+ 2 x)) (* (* x x) x))
191.0ms
(* (- (* 2 2) (* x x)) x)
124.0ms
(* (+ (pow 2 3) (pow x 3)) x)
16.0ms
(+ (* 2 x) (pow x 2))
14.0ms
(+ (* 2 x) (pow x 2))

prune94.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 3 expressions with local error:

7.8b
(/ (+ (* (* x x) (* x x)) (* 8 x)) (+ (* 2 2) (- (* x x) (* 2 x))))
0.2b
(* (* x x) (* x x))
0.0b
(- (* x x) (* 2 x))

rewrite338.0ms

Algorithm
rewrite-expression-head
Rules
872×*-un-lft-identity
447×associate-*l*
312×distribute-lft-out
274×associate-*r*
247×times-frac
178×add-sqr-sqrt
166×distribute-lft-out--
114×pow1
112×distribute-rgt-out
94×*-commutative
87×add-cube-cbrt
48×unswap-sqr
47×swap-sqr
36×pow-prod-up
23×pow-prod-down
22×pow-sqr
19×associate-/l*
18×pow-plus
17×add-cbrt-cube add-exp-log
13×pow2 associate-/r*
10×difference-of-squares
8×distribute-rgt-out-- prod-exp cbrt-unprod
5×add-log-exp
3×insert-posit16
2×flip3-+ associate-/r/ flip-+ associate-/l/
1×cbrt-undiv clear-num sub-neg frac-2neg flip3-- diff-log div-exp div-inv flip--
Calls
3 calls:
Slowest
272.0ms
(/ (+ (* (* x x) (* x x)) (* 8 x)) (+ (* 2 2) (- (* x x) (* 2 x))))
30.0ms
(* (* x x) (* x x))
20.0ms
(- (* x x) (* 2 x))

series237.0ms

Calls
3 calls:
Slowest
148.0ms
(/ (+ (* (* x x) (* x x)) (* 8 x)) (+ (* 2 2) (- (* x x) (* 2 x))))
57.0ms
(- (* x x) (* 2 x))
33.0ms
(* (* x x) (* x x))

simplify36.4s

Calls
741 calls:
Slowest
378.0ms
(/ (+ (* (* x x) (* x (* (cbrt x) (cbrt x)))) (* 8 (* (cbrt x) (cbrt x)))) (+ (* 2 2) (- (* x x) (* 2 x))))
349.0ms
(/ (sqrt (+ (* (* x x) (* x x)) (* 8 x))) (+ (* 2 2) (- (* x x) (* 2 x))))
314.0ms
(/ (* (* (+ (* (* x x) (* x x)) (* 8 x)) (+ (* (* x x) (* x x)) (* 8 x))) (+ (* (* x x) (* x x)) (* 8 x))) (* (* (+ (* 2 2) (- (* x x) (* 2 x))) (+ (* 2 2) (- (* x x) (* 2 x)))) (+ (* 2 2) (- (* x x) (* 2 x)))))
243.0ms
(+ (* (* 2 2) (* 2 2)) (- (* (- (* x x) (* 2 x)) (- (* x x) (* 2 x))) (* (* 2 2) (- (* x x) (* 2 x)))))
221.0ms
(* (* (* (* x x) x) (* (* x x) x)) (* (* (* x x) (* x x)) (* x x)))

prune2.1s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

5.1b
(/ (+ (* 2 2) (- (* x x) (* 2 x))) (+ (* (* x x) x) 8))
0.1b
(* (* x x) x)
0.1b
(/ x (/ (+ (* 2 2) (- (* x x) (* 2 x))) (+ (* (* x x) x) 8)))
0.0b
(- (* x x) (* 2 x))

rewrite464.0ms

Algorithm
rewrite-expression-head
Rules
1509×*-un-lft-identity
642×times-frac
639×associate-*l*
521×distribute-lft-out
262×distribute-lft-out--
237×add-sqr-sqrt
200×add-cube-cbrt
96×associate-/r*
34×associate-/r/
29×associate-/l*
23×pow1
16×add-cbrt-cube add-exp-log
15×associate-*r*
14×unswap-sqr
11×*-commutative
10×difference-of-squares
8×distribute-rgt-out--
7×flip3-+ flip-+
6×pow-plus swap-sqr pow-prod-up div-inv add-log-exp
4×cbrt-undiv div-exp insert-posit16 associate-/l/
3×clear-num frac-2neg pow-prod-down prod-exp cbrt-unprod
2×pow2 pow3 pow-sqr
1×associate-+r- sub-neg flip3-- diff-log div-sub flip--
Calls
4 calls:
Slowest
207.0ms
(/ (+ (* 2 2) (- (* x x) (* 2 x))) (+ (* (* x x) x) 8))
202.0ms
(/ x (/ (+ (* 2 2) (- (* x x) (* 2 x))) (+ (* (* x x) x) 8)))
21.0ms
(- (* x x) (* 2 x))
17.0ms
(* (* x x) x)

series283.0ms

Calls
4 calls:
Slowest
158.0ms
(/ x (/ (+ (* 2 2) (- (* x x) (* 2 x))) (+ (* (* x x) x) 8)))
52.0ms
(- (* x x) (* 2 x))
42.0ms
(/ (+ (* 2 2) (- (* x x) (* 2 x))) (+ (* (* x x) x) 8))
31.0ms
(* (* x x) x)

simplify1.3m

Calls
871 calls:
Slowest
420.0ms
(/ (sqrt x) (/ (+ (* 2 2) (- (* x x) (* 2 x))) (+ (* (* x x) x) 8)))
410.0ms
(/ x (/ (+ (* 2 2) (- (* x x) (* 2 x))) (+ (* (* x x) x) 8)))
400.0ms
(/ (* (* x x) x) (/ (* (* (+ (* 2 2) (- (* x x) (* 2 x))) (+ (* 2 2) (- (* x x) (* 2 x)))) (+ (* 2 2) (- (* x x) (* 2 x)))) (* (* (+ (* (* x x) x) 8) (+ (* (* x x) x) 8)) (+ (* (* x x) x) 8))))
383.0ms
(/ (* (cbrt x) (cbrt x)) (/ 1 (* (cbrt (+ (* (* x x) x) 8)) (cbrt (+ (* (* x x) x) 8)))))
328.0ms
(/ (+ (* 2 2) (- (* x x) (* 2 x))) (+ (* (* x x) x) 8))

prune2.8s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 4 expressions with local error:

5.1b
(/ (+ (* 2 2) (- (* x x) (* 2 x))) (+ (pow x 3) 8))
0.1b
(/ x (/ (+ (* 2 2) (- (* x x) (* 2 x))) (+ (pow x 3) 8)))
0.0b
(- (* x x) (* 2 x))
0.0b
(+ (pow x 3) 8)

rewrite331.0ms

Algorithm
rewrite-expression-head
Rules
921×*-un-lft-identity
434×times-frac
290×associate-*l*
288×distribute-lft-out
183×add-sqr-sqrt
182×distribute-lft-out--
158×add-cube-cbrt
66×associate-/r*
32×associate-/r/
29×associate-/l*
11×add-cbrt-cube add-exp-log
10×difference-of-squares
9×associate-*r*
8×flip3-+ distribute-rgt-out-- flip-+ add-log-exp
7×*-commutative unswap-sqr
6×div-inv
4×pow1 cbrt-undiv div-exp insert-posit16 associate-/l/
3×clear-num frac-2neg
2×swap-sqr
1×+-commutative associate-+r- sum-log sub-neg flip3-- diff-log div-sub flip--
Calls
4 calls:
Slowest
163.0ms
(/ (+ (* 2 2) (- (* x x) (* 2 x))) (+ (pow x 3) 8))
128.0ms
(/ x (/ (+ (* 2 2) (- (* x x) (* 2 x))) (+ (pow x 3) 8)))
20.0ms
(- (* x x) (* 2 x))
7.0ms
(+ (pow x 3) 8)

series313.0ms

Calls
4 calls:
Slowest
164.0ms
(/ x (/ (+ (* 2 2) (- (* x x) (* 2 x))) (+ (pow x 3) 8)))
57.0ms
(+ (pow x 3) 8)
55.0ms
(- (* x x) (* 2 x))
37.0ms
(/ (+ (* 2 2) (- (* x x) (* 2 x))) (+ (pow x 3) 8))

simplify1.2m

Calls
602 calls:
Slowest
414.0ms
(/ (cbrt x) (/ (+ (* 2 2) (- (* x x) (* 2 x))) (sqrt (+ (pow x 3) 8))))
407.0ms
(/ (* (* x x) x) (/ (* (* (+ (* 2 2) (- (* x x) (* 2 x))) (+ (* 2 2) (- (* x x) (* 2 x)))) (+ (* 2 2) (- (* x x) (* 2 x)))) (* (* (+ (pow x 3) 8) (+ (pow x 3) 8)) (+ (pow x 3) 8))))
372.0ms
(/ x (/ (+ (* 2 2) (- (* x x) (* 2 x))) (+ (pow x 3) 8)))
346.0ms
(/ (sqrt x) (/ (+ (* 2 2) (- (* x x) (* 2 x))) (sqrt (+ (pow x 3) 8))))
331.0ms
(/ (+ (* 2 2) (- (* x x) (* 2 x))) (+ (pow x 3) 8))

prune2.4s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes18.0ms

Accuracy

0% (0.0b remaining)

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

bsearch1.0ms

end0.0ms

sample914.0ms

Algorithm
intervals
Results
356.0ms2234×body1280valid
202.0ms1650×body640valid
200.0ms5661×body80valid
59.0ms794×body320valid
23.0ms454×body160valid