Details

Time bar (total: 10.9s)

sample35.0ms

Algorithm
intervals
Results
17.0ms256×body80valid
10.0ms256×pre80true

simplify134.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
134.0ms
(+ (* x (* x x)) (* x x))

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 2 expressions with local error:

0.1b
(* x (* x x))
0.0b
(+ (* x (* x x)) (* x x))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
16×pow1
7×add-cbrt-cube add-exp-log
5×pow-prod-up
4×add-sqr-sqrt add-log-exp
3×*-un-lft-identity associate-*l* pow-prod-down prod-exp add-cube-cbrt cbrt-unprod
2×insert-posit16
1×pow2 +-commutative sum-log distribute-lft1-in flip3-+ pow-plus cube-unmult associate-*r* pow-sqr *-commutative flip-+ distribute-lft-out unswap-sqr
Counts
2 → 39
Calls
2 calls:
Slowest
15.0ms
(+ (* x (* x x)) (* x x))
15.0ms
(* x (* x x))

series124.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
80.0ms
(+ (* x (* x x)) (* x x))
45.0ms
(* x (* x x))

simplify1.5s

Counts
23 → 45
Calls
23 calls:
Slowest
495.0ms
(* (* (* x x) x) (* (* (* x x) (* x x)) (* x x)))
491.0ms
(* (* (* x x) x) (* (* (* x x) x) (* (* x x) x)))
243.0ms
(* (exp (* x (* x x))) (exp (* x x)))
38.0ms
(+ (pow x 3) (pow x 2))
38.0ms
(+ (pow x 3) (pow x 2))

prune257.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize16.0ms

Local error

Found 2 expressions with local error:

0.0b
(* x (+ x (* x x)))
0.0b
(+ x (* x x))

rewrite25.0ms

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

series170.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
103.0ms
(* x (+ x (* x x)))
67.0ms
(+ x (* x x))

simplify926.0ms

Counts
23 → 45
Calls
23 calls:
Slowest
254.0ms
(+ (* x x) (- (* (* x x) (* x x)) (* x (* x x))))
155.0ms
(* (* (* x x) x) (* (* (+ x (* x x)) (+ x (* x x))) (+ x (* x x))))
81.0ms
(* (exp x) (exp (* x x)))
77.0ms
(* x (+ x (* x x)))
40.0ms
(+ (log x) (log (+ x (* x x))))

prune280.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize15.0ms

Local error

Found 3 expressions with local error:

0.1b
(* (sqrt x) (* x x))
0.1b
(* (sqrt x) (* (sqrt x) (* x x)))
0.0b
(+ (* (sqrt x) (* (sqrt x) (* x x))) (* x x))

rewrite150.0ms

Algorithm
rewrite-expression-head
Rules
67×pow1
46×pow-prod-up
20×sqrt-pow1 pow1/2
17×add-cbrt-cube add-exp-log
12×associate-*l*
9×add-sqr-sqrt pow-prod-down prod-exp cbrt-unprod
7×*-un-lft-identity add-cube-cbrt sqrt-prod
6×pow2 pow-plus pow-sqr
5×add-log-exp
3×insert-posit16
2×associate-*r* *-commutative unswap-sqr
1×+-commutative sum-log flip3-+ flip-+
Counts
3 → 85
Calls
3 calls:
Slowest
70.0ms
(* (sqrt x) (* (sqrt x) (* x x)))
48.0ms
(+ (* (sqrt x) (* (sqrt x) (* x x))) (* x x))
29.0ms
(* (sqrt x) (* x x))

series211.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
98.0ms
(+ (* (sqrt x) (* (sqrt x) (* x x))) (* x x))
67.0ms
(* (sqrt x) (* x x))
46.0ms
(* (sqrt x) (* (sqrt x) (* x x)))

simplify3.0s

Counts
64 → 94
Calls
64 calls:
Slowest
508.0ms
(* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (* (sqrt x) (* x x)) (* (sqrt x) (* x x))) (* (sqrt x) (* x x))))
402.0ms
(* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (* x x) (* x x)) (* x x))))
380.0ms
(* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (* x x) x) (* (* x x) x))))
355.0ms
(* (exp (* (sqrt x) (* (sqrt x) (* x x)))) (exp (* x x)))
238.0ms
(* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (* x x) (* x x)) (* x x)))

prune686.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize13.0ms

Local error

Found 1 expressions with local error:

0.0b
(* (+ x 1) (* x x))

rewrite45.0ms

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

series70.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
70.0ms
(* (+ x 1) (* x x))

simplify1.9s

Counts
15 → 26
Calls
15 calls:
Slowest
666.0ms
(* (* (* (+ x 1) (+ x 1)) (+ x 1)) (* (* (* x x) x) (* (* x x) x)))
618.0ms
(* (* (* (+ x 1) (+ x 1)) (+ x 1)) (* (* (* x x) (* x x)) (* x x)))
168.0ms
(* (- (* x x) (* 1 1)) (* x x))
151.0ms
(* (+ (pow x 3) (pow 1 3)) (* x x))
41.0ms
(+ (pow x 3) (pow x 2))

prune163.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes16.0ms

Accuracy

0% (0.0b remaining)

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

bsearch1.0ms

end0.0ms

sample1.2s

Algorithm
intervals
Results
810.0ms8000×body80valid
280.0ms8000×pre80true