Details

Time bar (total: 24.7s)

sample30.0ms

Algorithm
intervals
Results
11.0ms64×body640valid
6.0ms131×body80valid
5.0ms40×body320valid
2.0ms21×body160valid

simplify15.0ms

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

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.0b

localize10.0ms

Local error

Found 2 expressions with local error:

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

rewrite16.0ms

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

series25.0ms

Calls
2 calls:
Slowest
13.0ms
(- (/ 1 (+ x 1)) (/ 1 x))
12.0ms
(/ 1 (+ x 1))

simplify878.0ms

Calls
21 calls:
Slowest
132.0ms
(- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2))))
101.0ms
(- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2))))
89.0ms
(- (+ (/ 1 (pow x 3)) (/ 1 x)) (/ 1 (pow x 2)))
85.0ms
(- 1 (+ x (/ 1 x)))
68.0ms
(- (* 1 x) (* (+ x 1) 1))

prune271.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 1 expressions with local error:

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

rewrite2.0ms

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

series11.0ms

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

simplify539.0ms

Calls
8 calls:
Slowest
215.0ms
(+ (* (* x x) (* x x)) (- (* x x) (* (* x x) x)))
137.0ms
(- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2))))
91.0ms
(- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2))))
51.0ms
(- 1 (+ x (/ 1 x)))
16.0ms
(cbrt (+ (* x x) x))

prune128.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 2 expressions with local error:

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

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
6×associate-/l*
4×add-sqr-sqrt *-un-lft-identity associate-/r/ add-cube-cbrt
3×associate-/r* div-inv
2×pow1 clear-num frac-2neg flip3-+ add-cbrt-cube add-exp-log flip-+ insert-posit16 add-log-exp
1×associate-/l/
Calls
2 calls:
Slowest
7.0ms
(/ (/ -1 (+ x 1)) x)
1.0ms
(/ -1 (+ x 1))

series28.0ms

Calls
2 calls:
Slowest
17.0ms
(/ (/ -1 (+ x 1)) x)
11.0ms
(/ -1 (+ x 1))

simplify650.0ms

Calls
15 calls:
Slowest
103.0ms
(- (/ 1 (pow x 2)) (+ (/ 1 (pow x 3)) (/ 1 x)))
98.0ms
(- (/ 1 (pow x 2)) (+ (/ 1 (pow x 3)) (/ 1 x)))
91.0ms
(- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2))))
79.0ms
(- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2))))
59.0ms
(+ (* x x) (- (* 1 1) (* x 1)))

prune282.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize21.0ms

Local error

Found 4 expressions with local error:

17.5b
(/ x (+ (* x x) (- (* 1 1) (* x 1))))
5.3b
(/ (/ -1 (+ (* (* x x) x) 1)) (/ x (+ (* x x) (- (* 1 1) (* x 1)))))
0.3b
(/ -1 (+ (* (* x x) x) 1))
0.0b
(* (* x x) x)

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
36×times-frac
33×associate-/r/
20×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
17×div-inv
16×flip3-+ flip-+
12×associate-/r*
6×add-cbrt-cube add-exp-log associate-/l*
4×pow1 insert-posit16 add-log-exp
3×clear-num frac-2neg
1×pow2 cbrt-undiv pow-plus div-exp associate-*l* pow3 *-commutative associate-/l/
Calls
4 calls:
Slowest
7.0ms
(/ (/ -1 (+ (* (* x x) x) 1)) (/ x (+ (* x x) (- (* 1 1) (* x 1)))))
4.0ms
(/ x (+ (* x x) (- (* 1 1) (* x 1))))
3.0ms
(* (* x x) x)
3.0ms
(/ -1 (+ (* (* x x) x) 1))

series109.0ms

Calls
4 calls:
Slowest
34.0ms
(/ (/ -1 (+ (* (* x x) x) 1)) (/ x (+ (* x x) (- (* 1 1) (* x 1)))))
31.0ms
(/ -1 (+ (* (* x x) x) 1))
22.0ms
(/ x (+ (* x x) (- (* 1 1) (* x 1))))
22.0ms
(* (* x x) x)

simplify19.3s

Calls
107 calls:
Slowest
800.0ms
(/ (sqrt (/ -1 (+ (* (* x x) x) 1))) (+ (* (* x x) (* x x)) (- (* (- (* 1 1) (* x 1)) (- (* 1 1) (* x 1))) (* (* x x) (- (* 1 1) (* x 1))))))
563.0ms
(/ (sqrt (/ -1 (+ (* (* x x) x) 1))) (/ x (+ (pow (* x x) 3) (pow (- (* 1 1) (* x 1)) 3))))
509.0ms
(/ (/ -1 (+ (* (* x x) x) 1)) (- (* x x) (- (* 1 1) (* x 1))))
485.0ms
(/ (/ -1 (- (* (* (* x x) x) (* (* x x) x)) (* 1 1))) (/ x (- (* (* x x) (* x x)) (* (- (* 1 1) (* x 1)) (- (* 1 1) (* x 1))))))
480.0ms
(/ (/ -1 (+ (pow (* (* x x) x) 3) (pow 1 3))) (/ x (- (* (* x x) (* x x)) (* (- (* 1 1) (* x 1)) (- (* 1 1) (* x 1))))))

prune855.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes56.0ms

Accuracy

0% (0.1b remaining)

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

bsearch1.0ms

end0.0ms

sample1.4s

Algorithm
intervals
Results
605.0ms1901×body640valid
347.0ms4266×body80valid
266.0ms1249×body320valid
78.0ms584×body160valid