Details

Time bar (total: 40.7s)

sample48.0ms

Algorithm
intervals
Results
15.0ms67×body640valid
12.0ms23×body160valid
8.0ms132×body80valid
6.0ms34×body320valid

simplify13.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
13.0ms
(- (/ 1 (+ x 1)) (/ 1 (- x 1)))

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 15.0b

localize15.0ms

Local error

Found 3 expressions with local error:

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

rewrite104.0ms

Algorithm
rewrite-expression-head
Rules
98×*-un-lft-identity
72×add-sqr-sqrt
69×times-frac
32×add-cube-cbrt
27×distribute-lft-out--
17×difference-of-squares
11×associate-/r* add-exp-log
10×distribute-lft-out
7×add-cbrt-cube
6×associate-/r/ div-inv associate-/l*
5×pow1 add-log-exp
4×difference-of-sqr-1 div-exp
3×insert-posit16 flip--
2×cbrt-undiv rec-exp clear-num frac-2neg flip3-- 1-exp flip-+ pow-flip inv-pow
1×sub-neg flip3-+ diff-log frac-sub
Counts
3 → 128
Calls
3 calls:
Slowest
79.0ms
(- (/ 1 (+ x 1)) (/ 1 (- x 1)))
14.0ms
(/ 1 (- x 1))
9.0ms
(/ 1 (+ x 1))

series123.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
94.0ms
(- (/ 1 (+ x 1)) (/ 1 (- x 1)))
15.0ms
(/ 1 (- x 1))
14.0ms
(/ 1 (+ x 1))

simplify5.3s

Counts
153 → 137
Calls
153 calls:
Slowest
410.0ms
(/ (* (* 1 1) 1) (* (* (+ x 1) (+ x 1)) (+ x 1)))
387.0ms
(- (+ (* 2 (/ 1 (pow x 4))) (+ (* 2 (/ 1 (pow x 6))) (* 2 (/ 1 (pow x 2))))))
344.0ms
(- (+ (* 2 (/ 1 (pow x 4))) (+ (* 2 (/ 1 (pow x 6))) (* 2 (/ 1 (pow x 2))))))
261.0ms
(/ (* (* 1 1) 1) (* (* (- x 1) (- x 1)) (- x 1)))
258.0ms
(- (+ (/ 1 (pow x 3)) (/ 1 x)) (/ 1 (pow x 2)))

prune1.0s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 2 expressions with local error:

0.4b
(/ 1 (- (* x x) 1))
0.0b
(* (/ 1 (- (* x x) 1)) -2)

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
38×add-sqr-sqrt times-frac
32×*-un-lft-identity
24×associate-*l* add-cube-cbrt
15×add-exp-log
14×difference-of-squares
9×add-cbrt-cube
7×difference-of-sqr-1
6×associate-/r*
5×pow1
4×div-exp prod-exp associate-/r/
3×associate-*r* associate-/l* unswap-sqr
2×cbrt-undiv rec-exp flip3-- 1-exp cbrt-unprod insert-posit16 div-inv flip-- add-log-exp
1×clear-num frac-2neg pow-prod-down associate-*l/ *-commutative pow-flip inv-pow
Counts
2 → 93
Calls
2 calls:
Slowest
45.0ms
(* (/ 1 (- (* x x) 1)) -2)
18.0ms
(/ 1 (- (* x x) 1))

series92.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
48.0ms
(/ 1 (- (* x x) 1))
44.0ms
(* (/ 1 (- (* x x) 1)) -2)

simplify9.1s

Counts
94 → 99
Calls
94 calls:
Slowest
604.0ms
(+ (/ 1 (pow x 4)) (+ (/ 1 (pow x 6)) (/ 1 (pow x 2))))
603.0ms
(* (/ (* (* 1 1) 1) (* (* (- (* x x) 1) (- (* x x) 1)) (- (* x x) 1))) (* (* -2 -2) -2))
453.0ms
(* (* (* (/ 1 (- (* x x) 1)) (/ 1 (- (* x x) 1))) (/ 1 (- (* x x) 1))) (* (* -2 -2) -2))
434.0ms
(- (+ (* 2 (/ 1 (pow x 4))) (+ (* 2 (/ 1 (pow x 6))) (* 2 (/ 1 (pow x 2))))))
383.0ms
(/ (* (* 1 1) 1) (* (* (- (* x x) 1) (- (* x x) 1)) (- (* x x) 1)))

prune658.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 3 expressions with local error:

0.2b
(* (/ 1 (+ x 1)) (* (/ 1 (- x 1)) -2))
0.0b
(/ 1 (- x 1))
0.0b
(/ 1 (+ x 1))

rewrite113.0ms

Algorithm
rewrite-expression-head
Rules
76×add-exp-log
58×*-un-lft-identity
48×add-sqr-sqrt
45×times-frac
36×prod-exp
32×add-cube-cbrt
28×add-cbrt-cube
22×div-exp
18×associate-*l*
11×rec-exp associate-/r* 1-exp
10×pow1 cbrt-unprod
8×difference-of-squares
7×cbrt-undiv distribute-lft-out
6×associate-/r/ associate-/l*
4×difference-of-sqr-1 distribute-lft-out--
3×pow-prod-down associate-*l/ insert-posit16 div-inv add-log-exp
2×clear-num frac-2neg flip3-+ flip-+ pow-flip inv-pow
1×frac-times flip3-- associate-*r* associate-*r/ *-commutative flip--
Counts
3 → 147
Calls
3 calls:
Slowest
76.0ms
(* (/ 1 (+ x 1)) (* (/ 1 (- x 1)) -2))
17.0ms
(/ 1 (+ x 1))
16.0ms
(/ 1 (- x 1))

series104.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
66.0ms
(* (/ 1 (+ x 1)) (* (/ 1 (- x 1)) -2))
21.0ms
(/ 1 (+ x 1))
17.0ms
(/ 1 (- x 1))

simplify11.0s

Counts
150 → 156
Calls
150 calls:
Slowest
526.0ms
(* (/ (* (* 1 1) 1) (* (* (+ x 1) (+ x 1)) (+ x 1))) (* (/ (* (* 1 1) 1) (* (* (- x 1) (- x 1)) (- x 1))) (* (* -2 -2) -2)))
476.0ms
(/ (* (* 1 1) 1) (* (* (+ x 1) (+ x 1)) (+ x 1)))
408.0ms
(* (/ (* (* 1 1) 1) (* (* (+ x 1) (+ x 1)) (+ x 1))) (* (* (* (/ 1 (- x 1)) (/ 1 (- x 1))) (/ 1 (- x 1))) (* (* -2 -2) -2)))
396.0ms
(- (+ (* 2 (/ 1 (pow x 4))) (+ (* 2 (/ 1 (pow x 6))) (* 2 (/ 1 (pow x 2))))))
379.0ms
(+ (- (log 1) (log (+ x 1))) (log (* (/ 1 (- x 1)) -2)))

prune1.2s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 4 expressions with local error:

15.0b
(cbrt (- (* x x) 1))
15.0b
(cbrt (- (* x x) 1))
15.0b
(cbrt (- (* x x) 1))
0.7b
(/ 1 (* (cbrt (- (* x x) 1)) (cbrt (- (* x x) 1))))

rewrite107.0ms

Algorithm
rewrite-expression-head
Rules
18×cbrt-prod cbrt-div
15×add-exp-log
12×add-sqr-sqrt pow1 *-un-lft-identity
9×flip3-- pow1/3 add-cube-cbrt pow-flip flip--
8×associate-/r/
7×add-cbrt-cube
6×difference-of-squares
4×frac-times div-exp insert-posit16 add-log-exp
3×times-frac difference-of-sqr-1 prod-exp associate-/l*
2×cbrt-undiv rec-exp 1-exp pow-prod-down associate-*l/ associate-*r/ pow-sqr pow-prod-up
1×pow2 clear-num associate-/r* frac-2neg pow-plus cbrt-unprod div-inv inv-pow
Counts
4 → 95
Calls
4 calls:
Slowest
72.0ms
(/ 1 (* (cbrt (- (* x x) 1)) (cbrt (- (* x x) 1))))
16.0ms
(cbrt (- (* x x) 1))
9.0ms
(cbrt (- (* x x) 1))
6.0ms
(cbrt (- (* x x) 1))

series560.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
156.0ms
(/ 1 (* (cbrt (- (* x x) 1)) (cbrt (- (* x x) 1))))
144.0ms
(cbrt (- (* x x) 1))
135.0ms
(cbrt (- (* x x) 1))
125.0ms
(cbrt (- (* x x) 1))

simplify7.6s

Counts
68 → 107
Calls
68 calls:
Slowest
426.0ms
(- (pow -1 1/3) (+ (* 1/3 (* (pow x 2) (pow -1 1/3))) (* 1/9 (* (pow x 4) (pow -1 1/3)))))
361.0ms
(- (pow -1 1/3) (+ (* 1/3 (* (pow x 2) (pow -1 1/3))) (* 1/9 (* (pow x 4) (pow -1 1/3)))))
347.0ms
(- (pow -1 1/3) (+ (* 1/3 (* (pow x 2) (pow -1 1/3))) (* 1/9 (* (pow x 4) (pow -1 1/3)))))
333.0ms
(- (pow (/ -1 x) -2/3) (+ (* 1/9 (pow (/ 1 (pow x 10)) 1/3)) (* 1/3 (pow (/ 1 (pow x 4)) 1/3))))
300.0ms
(+ (* 5/9 (pow (/ 1 (pow x 16)) 1/3)) (+ (* 2/3 (pow (/ 1 (pow x 10)) 1/3)) (pow (/ -1 x) 4/3)))

prune1.2s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

regimes26.0ms

Accuracy

0% (0.1b remaining)

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

bsearch2.0ms

end0.0ms

sample2.1s

Algorithm
intervals
Results
745.0ms4173×body80valid
723.0ms1887×body640valid
342.0ms1307×body320valid
157.0ms633×body160valid