Details

Time bar (total: 31.9s)

sample103.0ms

Algorithm
intervals
Results
11.0ms74×body1280valid
7.0ms50×body640valid
6.0ms163×body80valid
2.0ms24×body320valid
1.0ms21×body160valid

simplify732.0ms

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

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 1 expressions with local error:

0.0b
(* (+ 2 x) x)

rewrite24.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
Counts
1 → 22
Calls
1 calls:
Slowest
22.0ms
(* (+ 2 x) x)

series49.0ms

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

simplify759.0ms

Counts
14 → 25
Calls
14 calls:
Slowest
363.0ms
(* (* (* (+ 2 x) (+ 2 x)) (+ 2 x)) (* (* x x) x))
188.0ms
(* (- (* 2 2) (* x x)) x)
124.0ms
(* (+ (pow 2 3) (pow x 3)) x)
17.0ms
(+ (* 2 x) (pow x 2))
15.0ms
(+ (* 2 x) (pow x 2))

prune102.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite132.0ms

Algorithm
rewrite-expression-head
Rules
115×pow1
36×pow-prod-up
23×pow-prod-down
22×pow-sqr
18×pow-plus add-cbrt-cube add-exp-log
13×pow2
12×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
11×add-log-exp
9×times-frac
8×prod-exp cbrt-unprod
4×insert-posit16
3×associate-/r* flip3-+ flip-+ associate-/l*
2×associate-+r+ sum-log sub-neg diff-log associate-/r/ associate-/l/
1×cbrt-undiv +-commutative clear-num associate-+r- frac-2neg flip3-- distribute-rgt-out-- swap-sqr div-exp associate-*r* associate-*l* *-commutative div-inv flip-- unswap-sqr
Counts
4 → 126
Calls
4 calls:
Slowest
82.0ms
(/ (+ (* (* x x) (* x x)) (* 8 x)) (+ (* 2 2) (- (* x x) (* 2 x))))
25.0ms
(* (* x x) (* x x))
15.0ms
(+ (* 2 2) (- (* x x) (* 2 x)))
8.0ms
(- (* x x) (* 2 x))

series259.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
150.0ms
(/ (+ (* (* x x) (* x x)) (* 8 x)) (+ (* 2 2) (- (* x x) (* 2 x))))
57.0ms
(- (* x x) (* 2 x))
32.0ms
(* (* x x) (* x x))
20.0ms
(+ (* 2 2) (- (* x x) (* 2 x)))

simplify5.1s

Counts
115 → 138
Calls
115 calls:
Slowest
317.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)))))
257.0ms
(+ (* (* 2 2) (* 2 2)) (- (* (- (* x x) (* 2 x)) (- (* x x) (* 2 x))) (* (* 2 2) (- (* x x) (* 2 x)))))
223.0ms
(* (* (* (* x x) x) (* (* x x) x)) (* (* (* x x) (* x x)) (* x x)))
218.0ms
(* (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) (* x x)) (* x x)))
205.0ms
(* (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) x) (* (* x x) x)))

prune710.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize32.0ms

Local error

Found 4 expressions with local error:

40.3b
(cbrt (* (* (- (* x x) (* 2 x)) (- (* x x) (* 2 x))) (- (* x x) (* 2 x))))
10.9b
(/ (+ (* (* x x) (* x x)) (* 8 x)) (+ (* 2 2) (cbrt (* (* (- (* x x) (* 2 x)) (- (* x x) (* 2 x))) (- (* x x) (* 2 x))))))
0.2b
(* (* x x) (* x x))
0.1b
(* (* (- (* x x) (* 2 x)) (- (* x x) (* 2 x))) (- (* x x) (* 2 x)))

rewrite244.0ms

Algorithm
rewrite-expression-head
Rules
134×pow1
56×frac-times
54×flip3-- flip--
42×pow-prod-up
28×associate-*l/
26×cbrt-div pow-prod-down
24×pow-plus pow-sqr
23×add-cbrt-cube add-exp-log
16×associate-*r/
15×pow2
14×add-sqr-sqrt
13×*-un-lft-identity add-cube-cbrt
11×prod-exp cbrt-unprod
9×times-frac
5×associate-*r*
4×insert-posit16 add-log-exp
3×associate-/r* associate-/l*
2×distribute-rgt-in sub-neg distribute-lft-in flip3-+ associate-*l* pow3 associate-/r/ *-commutative flip-+ unswap-sqr associate-/l/
1×cbrt-prod cbrt-undiv clear-num frac-2neg distribute-rgt-out-- pow1/3 swap-sqr div-exp rem-cbrt-cube div-inv
Counts
4 → 193
Calls
4 calls:
Slowest
90.0ms
(* (* (- (* x x) (* 2 x)) (- (* x x) (* 2 x))) (- (* x x) (* 2 x)))
65.0ms
(cbrt (* (* (- (* x x) (* 2 x)) (- (* x x) (* 2 x))) (- (* x x) (* 2 x))))
63.0ms
(/ (+ (* (* x x) (* x x)) (* 8 x)) (+ (* 2 2) (cbrt (* (* (- (* x x) (* 2 x)) (- (* x x) (* 2 x))) (- (* x x) (* 2 x))))))
23.0ms
(* (* x x) (* x x))

series257.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
139.0ms
(/ (+ (* (* x x) (* x x)) (* 8 x)) (+ (* 2 2) (cbrt (* (* (- (* x x) (* 2 x)) (- (* x x) (* 2 x))) (- (* x x) (* 2 x))))))
57.0ms
(cbrt (* (* (- (* x x) (* 2 x)) (- (* x x) (* 2 x))) (- (* x x) (* 2 x))))
34.0ms
(* (* x x) (* x x))
27.0ms
(* (* (- (* x x) (* 2 x)) (- (* x x) (* 2 x))) (- (* x x) (* 2 x)))

simplify20.7s

Counts
208 → 205
Calls
208 calls:
Slowest
449.0ms
(/ 1 (sqrt (+ (* 2 2) (cbrt (* (* (- (* x x) (* 2 x)) (- (* x x) (* 2 x))) (- (* x x) (* 2 x)))))))
369.0ms
(* (- (* 2 x)) (* (- (* x x) (* 2 x)) (- (* x x) (* 2 x))))
366.0ms
(* (- (* 2 x)) (* (- (* x x) (* 2 x)) (- (* x x) (* 2 x))))
360.0ms
(+ (* (* 2 2) (* 2 2)) (- (* (cbrt (* (* (- (* x x) (* 2 x)) (- (* x x) (* 2 x))) (- (* x x) (* 2 x)))) (cbrt (* (* (- (* x x) (* 2 x)) (- (* x x) (* 2 x))) (- (* x x) (* 2 x))))) (* (* 2 2) (cbrt (* (* (- (* x x) (* 2 x)) (- (* x x) (* 2 x))) (- (* x x) (* 2 x)))))))
353.0ms
(* (* (+ (* (* x x) (* x x)) (+ (* (* 2 x) (* 2 x)) (* (* x x) (* 2 x)))) (+ (* x x) (* 2 x))) (+ (* (* x x) (* x x)) (+ (* (* 2 x) (* 2 x)) (* (* x x) (* 2 x)))))

prune1.4s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes19.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
408.0ms5348×body80valid
361.0ms2279×body1280valid
195.0ms1734×body640valid
63.0ms436×body160valid
61.0ms810×body320valid