Details

Time bar (total: 1.2m)

sample36.0ms

Algorithm
intervals
Results
14.0ms68×body640valid
8.0ms140×body80valid
5.0ms31×body320valid
2.0ms17×body160valid

simplify38.0ms

Calls
1 calls:
Slowest
37.0ms
(- (/ 1 (+ x 1)) (/ 1 x))

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.8b

localize20.0ms

Local error

Found 2 expressions with local error:

2.3b
(- (/ 1 (+ x 1)) (/ 1 x))
0.0b
(/ 1 (+ x 1))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
48×*-un-lft-identity
39×add-sqr-sqrt
36×times-frac
15×add-cube-cbrt
10×distribute-lft-out--
9×difference-of-squares
7×distribute-lft-out
6×add-exp-log
5×div-inv
4×associate-/r* add-cbrt-cube add-log-exp
3×pow1 associate-/l*
2×div-exp associate-/r/ insert-posit16
1×cbrt-undiv rec-exp clear-num sub-neg frac-2neg flip3-+ flip3-- diff-log 1-exp frac-sub flip-+ pow-flip flip-- inv-pow
Calls
2 calls:
Slowest
33.0ms
(- (/ 1 (+ x 1)) (/ 1 x))
17.0ms
(/ 1 (+ x 1))

series40.0ms

Calls
2 calls:
Slowest
26.0ms
(- (/ 1 (+ x 1)) (/ 1 x))
14.0ms
(/ 1 (+ x 1))

simplify2.8s

Calls
79 calls:
Slowest
447.0ms
(/ (* (* 1 1) 1) (* (* (+ x 1) (+ x 1)) (+ x 1)))
287.0ms
(- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2))))
254.0ms
(- (+ (/ 1 (pow x 3)) (/ 1 x)) (/ 1 (pow x 2)))
240.0ms
(- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2))))
226.0ms
(- (+ (/ 1 (pow x 3)) (/ 1 x)) (/ 1 (pow x 2)))

prune502.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 1 expressions with local error:

0.7b
(/ -1 (+ (* x x) x))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
15×*-un-lft-identity times-frac
11×add-sqr-sqrt add-cube-cbrt
5×associate-/r*
4×distribute-lft1-in distribute-rgt-out
3×add-cbrt-cube add-exp-log associate-/l*
2×associate-/r/
1×pow1 cbrt-undiv clear-num frac-2neg flip3-+ div-exp flip-+ insert-posit16 div-inv add-log-exp
Calls
1 calls:
Slowest
21.0ms
(/ -1 (+ (* x x) x))

series36.0ms

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

simplify1.9s

Calls
43 calls:
Slowest
418.0ms
(+ (* (* x x) (* x x)) (- (* x x) (* (* x x) x)))
266.0ms
(- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2))))
245.0ms
(- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2))))
148.0ms
(/ (* (* -1 -1) -1) (* (* (+ (* x x) x) (+ (* x x) x)) (+ (* x x) x)))
86.0ms
(- (log -1) (log (+ (* x x) x)))

prune232.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 1 expressions with local error:

0.1b
(/ (/ -1 x) (+ x 1))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
97×times-frac
78×*-un-lft-identity
50×add-sqr-sqrt add-cube-cbrt
14×distribute-lft-out
13×associate-/l*
6×add-cbrt-cube add-exp-log div-inv
4×associate-/r*
3×cbrt-undiv div-exp
2×associate-/r/
1×pow1 clear-num frac-2neg flip3-+ flip-+ insert-posit16 add-log-exp associate-/l/
Calls
1 calls:
Slowest
10.0ms
(/ (/ -1 x) (+ x 1))

series31.0ms

Calls
1 calls:
Slowest
31.0ms
(/ (/ -1 x) (+ x 1))

simplify5.7s

Calls
128 calls:
Slowest
741.0ms
(/ (* (* (/ -1 x) (/ -1 x)) (/ -1 x)) (* (* (+ x 1) (+ x 1)) (+ x 1)))
296.0ms
(- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2))))
287.0ms
(/ (/ (* (cbrt -1) (cbrt -1)) (* (cbrt x) (cbrt x))) (* (cbrt (+ x 1)) (cbrt (+ x 1))))
269.0ms
(- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2))))
187.0ms
(/ (/ (* (* -1 -1) -1) (* (* x x) x)) (* (* (+ x 1) (+ x 1)) (+ x 1)))

prune581.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize30.0ms

Local error

Found 4 expressions with local error:

23.4b
(* (/ (/ -1 x) (+ (pow x 3) (pow 1 3))) (+ (- 1 x) (* x x)))
0.0b
(/ (/ -1 x) (+ (pow x 3) (pow 1 3)))
0.0b
(+ (- 1 x) (* x x))
0.0b
(+ (pow x 3) (pow 1 3))

rewrite238.0ms

Algorithm
rewrite-expression-head
Rules
488×*-un-lft-identity
452×times-frac
189×add-sqr-sqrt
180×add-cube-cbrt
168×distribute-lft-out
136×associate-*l*
112×unpow-prod-down cube-prod
28×cube-mult sum-cubes
23×div-inv
18×add-cbrt-cube add-exp-log
13×associate-/l*
11×add-log-exp
10×associate-/r*
6×pow1 cbrt-undiv flip3-+ div-exp flip-+
4×associate-/r/ insert-posit16
3×sum-log associate-*r* prod-exp cbrt-unprod unswap-sqr
2×frac-times +-commutative associate-+l+ associate-*r/
1×distribute-rgt-in clear-num sub-neg frac-2neg distribute-lft-in diff-log pow-prod-down associate-*l/ *-commutative associate-+l- associate-/l/
Calls
4 calls:
Slowest
152.0ms
(* (/ (/ -1 x) (+ (pow x 3) (pow 1 3))) (+ (- 1 x) (* x x)))
36.0ms
(/ (/ -1 x) (+ (pow x 3) (pow 1 3)))
22.0ms
(+ (- 1 x) (* x x))
9.0ms
(+ (pow x 3) (pow 1 3))

series275.0ms

Calls
4 calls:
Slowest
96.0ms
(* (/ (/ -1 x) (+ (pow x 3) (pow 1 3))) (+ (- 1 x) (* x x)))
86.0ms
(/ (/ -1 x) (+ (pow x 3) (pow 1 3)))
78.0ms
(+ (pow x 3) (pow 1 3))
16.0ms
(+ (- 1 x) (* x x))

simplify52.6s

Calls
474 calls:
Slowest
816.0ms
(* (/ (/ (* (* -1 -1) -1) (* (* x x) x)) (* (* (+ (pow x 3) (pow 1 3)) (+ (pow x 3) (pow 1 3))) (+ (pow x 3) (pow 1 3)))) (* (* (+ (- 1 x) (* x x)) (+ (- 1 x) (* x x))) (+ (- 1 x) (* x x))))
672.0ms
(* (* (* (/ (/ -1 x) (+ (pow x 3) (pow 1 3))) (/ (/ -1 x) (+ (pow x 3) (pow 1 3)))) (/ (/ -1 x) (+ (pow x 3) (pow 1 3)))) (* (* (+ (- 1 x) (* x x)) (+ (- 1 x) (* x x))) (+ (- 1 x) (* x x))))
638.0ms
(/ (/ 1 (* (cbrt x) (cbrt x))) (sqrt (+ (pow x 3) (pow 1 3))))
587.0ms
(/ (/ 1 x) (+ (pow x 3) (* 1 1)))
433.0ms
(+ (* (- 1 x) (- 1 x)) (- (* (* x x) (* x x)) (* (- 1 x) (* x x))))

prune3.2s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes35.0ms

Accuracy

0% (0.1b remaining)

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

bsearch2.0ms

end0.0ms

sample1.5s

Algorithm
intervals
Results
678.0ms1924×body640valid
354.0ms4229×body80valid
287.0ms1209×body320valid
89.0ms638×body160valid