Details

Time bar (total: 2.0m)

sample74.0ms

Algorithm
intervals
Results
26.0ms51×body1280valid
18.0ms45×body640valid
14.0ms135×body80valid
5.0ms16×body320valid
2.0ms9×body160valid

simplify101.0ms

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

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.0b

localize12.0ms

Local error

Found 3 expressions with local error:

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

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
90×prod-diff
75×add-sqr-sqrt
72×*-un-lft-identity
70×add-cube-cbrt
64×times-frac
48×associate-/r/
24×div-inv
18×flip3-+ flip-+
8×flip3-- flip--
6×associate-/r* fma-neg
5×add-cbrt-cube add-exp-log add-log-exp
3×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u associate-/l*
2×clear-num frac-2neg difference-of-squares associate-/l/
1×cbrt-undiv sub-neg diff-log div-exp frac-sub distribute-lft-out--
Calls
3 calls:
Slowest
9.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
4.0ms
(/ (+ x 1) (- x 1))
1.0ms
(/ x (+ x 1))

series73.0ms

Calls
3 calls:
Slowest
50.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
13.0ms
(/ x (+ x 1))
10.0ms
(/ (+ x 1) (- x 1))

simplify49.4s

Calls
235 calls:
Slowest
1.0s
(fma (- (+ x 1)) (/ (+ x 1) (- (* x x) (* 1 1))) (* (+ x 1) (/ (+ x 1) (- (* x x) (* 1 1)))))
729.0ms
(fma (- (+ x 1)) (/ (+ x 1) (- (* x x) (* 1 1))) (* (+ x 1) (/ (+ x 1) (- (* x x) (* 1 1)))))
699.0ms
(fma (- (+ x 1)) (/ (+ x 1) (- (* x x) (* 1 1))) (* (+ x 1) (/ (+ x 1) (- (* x x) (* 1 1)))))
698.0ms
(fma (/ x (- (* x x) (* 1 1))) (- x 1) (- (* (sqrt (/ (+ x 1) (- x 1))) (sqrt (/ (+ x 1) (- x 1))))))
677.0ms
(fma (- (+ x 1)) (/ (+ x 1) (- (* x x) (* 1 1))) (* (+ x 1) (/ (+ x 1) (- (* x x) (* 1 1)))))

prune1.4s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

1.7b
(- (/ x (+ x 1)) (cbrt (* (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))) (/ (+ x 1) (- x 1)))))
0.0b
(* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1)))
0.0b
(cbrt (* (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))) (/ (+ x 1) (- x 1))))
0.0b
(* (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))) (/ (+ x 1) (- x 1)))

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
57×add-cbrt-cube add-exp-log
38×add-sqr-sqrt *-un-lft-identity
36×add-cube-cbrt
30×associate-*r*
27×times-frac
24×prod-diff
23×pow1
22×prod-exp cbrt-unprod
17×cbrt-undiv div-exp
16×frac-times associate-*l* associate-*l/ associate-/r/
14×cbrt-div
10×associate-*r/
8×div-inv
7×cbrt-prod frac-sub
6×pow-plus fma-neg pow-prod-up add-log-exp
5×flip3-+ flip-+
4×expm1-log1p-u flip3-- pow-prod-down insert-posit16 log1p-expm1-u flip--
3×pow2
2×pow3 *-commutative
1×sub-neg pow1/3 diff-log rem-cbrt-cube distribute-lft-out-- difference-of-squares
Calls
4 calls:
Slowest
25.0ms
(* (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))) (/ (+ x 1) (- x 1)))
19.0ms
(cbrt (* (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))) (/ (+ x 1) (- x 1))))
17.0ms
(- (/ x (+ x 1)) (cbrt (* (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))) (/ (+ x 1) (- x 1)))))
10.0ms
(* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1)))

series111.0ms

Calls
4 calls:
Slowest
50.0ms
(- (/ x (+ x 1)) (cbrt (* (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))) (/ (+ x 1) (- x 1)))))
29.0ms
(cbrt (* (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))) (/ (+ x 1) (- x 1))))
17.0ms
(* (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))) (/ (+ x 1) (- x 1)))
15.0ms
(* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1)))

simplify35.3s

Calls
194 calls:
Slowest
802.0ms
(* (* (* (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))) (/ (+ x 1) (- x 1))) (* (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))) (/ (+ x 1) (- x 1)))) (* (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))) (/ (+ x 1) (- x 1))))
679.0ms
(* (* (+ x 1) (/ (+ x 1) (- x 1))) (+ x 1))
647.0ms
(fma (- (cbrt (* (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))) (/ (+ x 1) (- x 1))))) 1 (* (cbrt (* (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))) (/ (+ x 1) (- x 1)))) 1))
542.0ms
(* (+ x 1) (cbrt (* (* (- x 1) (- x 1)) (- x 1))))
532.0ms
(* (* (/ (+ x 1) (- x 1)) (+ x 1)) (/ (+ x 1) (- x 1)))

prune1.7s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 4 expressions with local error:

28.8b
(fma (/ x (fma x (* x x) 1)) (+ (* x x) (- (* 1 1) (* x 1))) (- (/ (+ x 1) (- x 1))))
6.1b
(/ x (fma x (* x x) 1))
0.0b
(fma x (* x x) 1)
0.0b
(+ (* x x) (- (* 1 1) (* x 1)))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
9×add-log-exp
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
3×associate-+r+ associate-/r*
2×sum-log fma-udef
1×+-commutative clear-num associate-+r- sub-neg fma-def frac-2neg flip3-+ diff-log prod-diff flip-+ div-inv
Calls
4 calls:
Slowest
10.0ms
(+ (* x x) (- (* 1 1) (* x 1)))
1.0ms
(/ x (fma x (* x x) 1))
0.0ms
(fma (/ x (fma x (* x x) 1)) (+ (* x x) (- (* 1 1) (* x 1))) (- (/ (+ x 1) (- x 1))))
0.0ms
(fma x (* x x) 1)

series165.0ms

Calls
4 calls:
Slowest
58.0ms
(fma (/ x (fma x (* x x) 1)) (+ (* x x) (- (* 1 1) (* x 1))) (- (/ (+ x 1) (- x 1))))
52.0ms
(/ x (fma x (* x x) 1))
47.0ms
(fma x (* x x) 1)
8.0ms
(+ (* x x) (- (* 1 1) (* x 1)))

simplify1.3s

Calls
21 calls:
Slowest
255.0ms
(- (+ (* 3 (/ 1 (pow x 3))) (+ (/ 1 (pow x 2)) (* 3 (/ 1 x)))))
242.0ms
(- (+ (* 3 (/ 1 (pow x 3))) (+ (/ 1 (pow x 2)) (* 3 (/ 1 x)))))
154.0ms
(* (exp (* x x)) (exp (- (* 1 1) (* x 1))))
95.0ms
(* (exp (* x x)) (/ (exp (* 1 1)) (exp (* x 1))))
90.0ms
(- (+ (/ 1 (pow x 8)) (/ 1 (pow x 2))) (/ 1 (pow x 5)))

prune713.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 4 expressions with local error:

17.8b
(- (* x (- x 1)) (* (+ x 1) (+ x 1)))
0.0b
(/ (- (* x (- x 1)) (* (+ x 1) (+ x 1))) (* (+ x 1) (- x 1)))
0.0b
(* (+ x 1) (+ x 1))
0.0b
(* x (- x 1))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
46×associate-*r/
33×flip3-+ flip-+
32×frac-sub
24×frac-times
22×flip3-- flip--
18×associate-/l/
12×associate-*l/
11×add-cbrt-cube add-exp-log
9×add-sqr-sqrt pow1 *-un-lft-identity add-cube-cbrt
8×associate-/r/
6×distribute-rgt-in distribute-lft-in associate-*r* add-log-exp
5×sub-neg
4×expm1-log1p-u associate--l+ insert-posit16 log1p-expm1-u
3×times-frac associate-*l* associate-/l*
2×cbrt-undiv div-exp prod-exp *-commutative cbrt-unprod associate--r+
1×pow2 clear-num associate-/r* frac-2neg pow-plus fma-neg diff-log div-sub prod-diff pow-prod-down pow-prod-up div-inv
Calls
4 calls:
Slowest
23.0ms
(/ (- (* x (- x 1)) (* (+ x 1) (+ x 1))) (* (+ x 1) (- x 1)))
13.0ms
(* (+ x 1) (+ x 1))
7.0ms
(- (* x (- x 1)) (* (+ x 1) (+ x 1)))
3.0ms
(* x (- x 1))

series77.0ms

Calls
4 calls:
Slowest
27.0ms
(- (* x (- x 1)) (* (+ x 1) (+ x 1)))
25.0ms
(/ (- (* x (- x 1)) (* (+ x 1) (+ x 1))) (* (+ x 1) (- x 1)))
19.0ms
(* x (- x 1))
6.0ms
(* (+ x 1) (+ x 1))

simplify24.3s

Calls
127 calls:
Slowest
920.0ms
(fma (- (+ x 1)) (+ x 1) (* (+ x 1) (+ x 1)))
688.0ms
(/ (* x (- x 1)) (* (+ x 1) (- x 1)))
653.0ms
(- (* (* x (- (pow x 3) (pow 1 3))) (* (- x 1) (+ (* x x) (- (* 1 1) (* x 1))))) (* (+ (* x x) (+ (* 1 1) (* x 1))) (* (- (* x x) (* 1 1)) (+ (pow x 3) (pow 1 3)))))
547.0ms
(- (log (- (* x (- x 1)) (* (+ x 1) (+ x 1)))) (log (* (+ x 1) (- x 1))))
540.0ms
(- (pow (* x (- x 1)) 3) (pow (* (+ x 1) (+ x 1)) 3))

prune1.1s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

regimes48.0ms

Accuracy

99.9% (0.0b remaining)

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

bsearch102.0ms

end0.0ms

sample1.7s

Algorithm
intervals
Results
545.0ms4110×body80valid
545.0ms1698×body1280valid
277.0ms1271×body640valid
225.0ms627×body320valid
32.0ms294×body160valid