Details

Time bar (total: 6.3m)

sample652.0ms

Algorithm
intervals
Results
165.0ms421×body80valid
16.0ms14×body640valid
13.0ms9×body1280valid
10.0ms10×body320valid
4.0ms7×body160valid

simplify931.0ms

Calls
1 calls:
Slowest
930.0ms
(+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))))

prune28.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.5b

localize107.0ms

Local error

Found 4 expressions with local error:

4.7b
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
4.7b
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))
3.3b
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
3.1b
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))

rewrite1.6s

Algorithm
rewrite-expression-head
Rules
30×add-cbrt-cube add-exp-log
26×add-sqr-sqrt
24×associate-*r*
23×associate-*r/
22×*-un-lft-identity
18×pow1
16×times-frac
15×prod-exp cbrt-unprod
14×add-cube-cbrt
11×flip3-- flip--
10×frac-add
9×pow-prod-down
8×add-log-exp
7×sub-neg
6×distribute-rgt-in distribute-lft-in
5×difference-of-squares
4×frac-times associate-+l+ associate-+r+ insert-posit16 distribute-lft-out--
3×cbrt-undiv div-exp
2×flip3-+ associate-*l* associate-*l/ associate-/r/ *-commutative flip-+
1×associate--l- +-commutative sum-log diff-log div-sub div-inv unswap-sqr
Calls
4 calls:
Slowest
572.0ms
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
523.0ms
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
283.0ms
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
237.0ms
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))

series785.0ms

Calls
4 calls:
Slowest
455.0ms
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
120.0ms
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
116.0ms
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
93.0ms
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))

simplify26.2s

Calls
103 calls:
Slowest
1.1s
(* (* (+ (* x1 x1) 1) (+ (* (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (+ (* 3 3) (* (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)))) (+ (* (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (+ (* 6 6) (* (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))))
1.0s
(+ (* (* (* (* 2 x1) (- (+ (* (* 3 x1) x1) (* 2 x2)) x1)) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (+ (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)) (* (+ (* x1 x1) 1) (* (* x1 x1) (- (* (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* 6 6)))))
992.0ms
(* (* (* (* (* 3 x1) (* 3 x1)) (* 3 x1)) (* (* x1 x1) x1)) (/ (* (* (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (- (+ (* (* 3 x1) x1) (* 2 x2)) x1)) (- (+ (* (* 3 x1) x1) (* 2 x2)) x1)) (* (* (+ (* x1 x1) 1) (+ (* x1 x1) 1)) (+ (* x1 x1) 1))))
979.0ms
(+ (* (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (* (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* 3 3))) (+ (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)) (* (+ (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3) (* (* x1 x1) (- (* (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* 6 6)))))
854.0ms
(* (* (* (* (* 3 3) 3) (* (* x1 x1) x1)) (* (* x1 x1) x1)) (/ (* (* (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (- (+ (* (* 3 x1) x1) (* 2 x2)) x1)) (- (+ (* (* 3 x1) x1) (* 2 x2)) x1)) (* (* (+ (* x1 x1) 1) (+ (* x1 x1) 1)) (+ (* x1 x1) 1))))

prune3.2s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.4b

localize95.0ms

Local error

Found 4 expressions with local error:

4.7b
(* (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6) (* x1 x1))
4.7b
(* (* (* 3 x1) x1) (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))))
3.3b
(- (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) 3)
3.1b
(+ (* (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6) (* x1 x1)) (* (* (* (- (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) 3) x1) 2) (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))))

rewrite505.0ms

Algorithm
rewrite-expression-head
Rules
32×associate-*l/
30×add-cbrt-cube add-exp-log
18×add-sqr-sqrt pow1
16×associate-*r*
15×prod-exp cbrt-unprod
14×*-un-lft-identity
12×add-cube-cbrt
11×flip3-- flip--
10×times-frac frac-add
9×pow-prod-down
8×add-log-exp
4×frac-times associate-*l* insert-posit16
3×cbrt-undiv div-exp associate-*r/
2×flip3-+ associate-/r/ *-commutative flip-+ difference-of-squares
1×associate--l- +-commutative sum-log sub-neg diff-log div-sub div-inv distribute-lft-out-- unswap-sqr
Calls
4 calls:
Slowest
231.0ms
(+ (* (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6) (* x1 x1)) (* (* (* (- (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) 3) x1) 2) (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))))
102.0ms
(* (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6) (* x1 x1))
90.0ms
(- (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) 3)
79.0ms
(* (* (* 3 x1) x1) (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))))

series935.0ms

Calls
4 calls:
Slowest
567.0ms
(+ (* (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6) (* x1 x1)) (* (* (* (- (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) 3) x1) 2) (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))))
147.0ms
(- (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) 3)
136.0ms
(* (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6) (* x1 x1))
85.0ms
(* (* (* 3 x1) x1) (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))))

simplify27.5s

Calls
84 calls:
Slowest
1.1s
(+ (* (* (- (pow (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 3) (pow 6 3)) (* x1 x1)) (+ 1 (* x1 x1))) (* (+ (* (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))))) (+ (* 6 6) (* (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6))) (* (* (* (- (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) 3) x1) 2) (- (* x2 2) (- x1 (* (* 3 x1) x1))))))
1.1s
(+ (* (* (- (* (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))))) (* 6 6)) (* x1 x1)) (* (+ (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) 3) (+ 1 (* x1 x1)))) (* (+ (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6) (* (* (* (- (* (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) (* 3 3)) x1) 2) (- (* x2 2) (- x1 (* (* 3 x1) x1))))))
847.0ms
(* (* (* (* (* 3 3) 3) (* (* x1 x1) x1)) (* (* x1 x1) x1)) (/ (* (* (- (* x2 2) (- x1 (* (* 3 x1) x1))) (- (* x2 2) (- x1 (* (* 3 x1) x1)))) (- (* x2 2) (- x1 (* (* 3 x1) x1)))) (* (* (+ 1 (* x1 x1)) (+ 1 (* x1 x1))) (+ 1 (* x1 x1)))))
800.0ms
(* (+ (* (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))))) (+ (* 6 6) (* (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6))) (* (+ (* (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) (+ (* 3 3) (* (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) 3))) (+ 1 (* x1 x1))))
785.0ms
(* (* (* (* (* 3 x1) x1) (* (* 3 x1) x1)) (* (* 3 x1) x1)) (/ (* (* (- (* x2 2) (- x1 (* (* 3 x1) x1))) (- (* x2 2) (- x1 (* (* 3 x1) x1)))) (- (* x2 2) (- x1 (* (* 3 x1) x1)))) (* (* (+ 1 (* x1 x1)) (+ 1 (* x1 x1))) (+ 1 (* x1 x1)))))

prune2.5s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.4b

localize147.0ms

Local error

Found 4 expressions with local error:

9.1b
(+ (* (* (cbrt (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6)) (cbrt (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6))) (* (cbrt (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6)) (* x1 x1))) (* (* (* (- (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) 3) x1) 2) (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))))
4.7b
(* (* (* 3 x1) x1) (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))))
3.5b
(* (* (cbrt (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6)) (cbrt (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6))) (* (cbrt (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6)) (* x1 x1)))
3.3b
(- (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) 3)

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
452×associate-*l/
324×cbrt-div
220×frac-times
215×flip3-- flip--
130×frac-add
75×associate-*r/
46×add-exp-log
36×add-cbrt-cube
34×pow1
27×prod-exp cbrt-unprod
21×pow-prod-down
16×add-sqr-sqrt associate-*r*
13×*-un-lft-identity
11×add-cube-cbrt
10×times-frac
8×add-log-exp
4×insert-posit16
3×cbrt-undiv div-exp
2×flip3-+ associate-*l* associate-/r/ *-commutative flip-+ difference-of-squares
1×associate--l- +-commutative sum-log sub-neg diff-log div-sub div-inv distribute-lft-out--
Calls
4 calls:
Slowest
565.0ms
(+ (* (* (cbrt (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6)) (cbrt (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6))) (* (cbrt (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6)) (* x1 x1))) (* (* (* (- (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) 3) x1) 2) (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))))
319.0ms
(* (* (cbrt (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6)) (cbrt (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6))) (* (cbrt (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6)) (* x1 x1)))
105.0ms
(- (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) 3)
94.0ms
(* (* (* 3 x1) x1) (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))))

series1.1s

Calls
4 calls:
Slowest
672.0ms
(+ (* (* (cbrt (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6)) (cbrt (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6))) (* (cbrt (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6)) (* x1 x1))) (* (* (* (- (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) 3) x1) 2) (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))))
157.0ms
(- (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) 3)
144.0ms
(* (* (cbrt (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6)) (cbrt (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6))) (* (cbrt (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6)) (* x1 x1)))
79.0ms
(* (* (* 3 x1) x1) (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))))

simplify2.2m

Calls
374 calls:
Slowest
1.2s
(* (* (cbrt (+ (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6)) (cbrt (+ (* (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))))) (+ (* 6 6) (* (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6))))) (* (+ (* (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) (+ (* 3 3) (* (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) 3))) (+ 1 (* x1 x1))))
864.0ms
(* (* (* (cbrt (+ (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6)) (cbrt (+ (* (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))))) (+ (* 6 6) (* (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6))))) (cbrt (+ (* (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))))) (+ (* 6 6) (* (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6))))) (* (+ (* (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) (+ (* 3 3) (* (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) 3))) (+ 1 (* x1 x1))))
846.0ms
(* (* (* (* (* 3 3) 3) (* (* x1 x1) x1)) (* (* x1 x1) x1)) (/ (* (* (- (* x2 2) (- x1 (* (* 3 x1) x1))) (- (* x2 2) (- x1 (* (* 3 x1) x1)))) (- (* x2 2) (- x1 (* (* 3 x1) x1)))) (* (* (+ 1 (* x1 x1)) (+ 1 (* x1 x1))) (+ 1 (* x1 x1)))))
842.0ms
(+ (* (* (* (cbrt (- (* (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))))) (* 6 6))) (cbrt (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6))) (* (cbrt (- (* (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))))) (* 6 6))) (* x1 x1))) (+ 1 (* x1 x1))) (* (* (cbrt (+ (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6)) (cbrt (+ (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6))) (* (* (* (- (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) 3) x1) 2) (- (* x2 2) (- x1 (* (* 3 x1) x1))))))
841.0ms
(+ (* (* (* (cbrt (- (* (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))))) (* 6 6))) (cbrt (- (pow (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 3) (pow 6 3)))) (* (cbrt (- (pow (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 3) (pow 6 3))) (* x1 x1))) (+ (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) 3)) (* (* (* (cbrt (+ (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6)) (cbrt (+ (* (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))))) (+ (* 6 6) (* (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6))))) (cbrt (+ (* (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))))) (+ (* 6 6) (* (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6))))) (* (* (* (- (* (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) (* 3 3)) x1) 2) (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))))))

prune9.2s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.4b

localize200.0ms

Local error

Found 4 expressions with local error:

8.9b
(cbrt (- (* (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))))) (* 6 6)))
6.3b
(+ (* (* (* (cbrt (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6)) (cbrt (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6))) (* (cbrt (- (* (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))))) (* 6 6))) (* x1 x1))) (+ 1 (* x1 x1))) (* (cbrt (+ (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6)) (* (* (* (- (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) 3) x1) 2) (- (* x2 2) (- x1 (* (* 3 x1) x1))))))
4.7b
(* (* (* 3 x1) x1) (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))))
3.9b
(/ (+ (* (* (* (cbrt (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6)) (cbrt (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6))) (* (cbrt (- (* (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))))) (* 6 6))) (* x1 x1))) (+ 1 (* x1 x1))) (* (cbrt (+ (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6)) (* (* (* (- (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) 3) x1) 2) (- (* x2 2) (- x1 (* (* 3 x1) x1)))))) (* (cbrt (+ (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6)) (+ 1 (* x1 x1))))

rewrite10.9s

Algorithm
rewrite-expression-head
Rules
13386×associate-*l/
11556×frac-times
11312×cbrt-div
7093×flip3-- flip--
4160×frac-add
3595×associate-*r/
2853×flip3-+ flip-+
2082×associate-/l/
30×add-exp-log
29×add-cbrt-cube
15×associate-*r*
14×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
13×distribute-rgt-in pow1 distribute-lft-in prod-exp cbrt-unprod
12×associate-+r+ times-frac
10×associate-/r/
6×pow-prod-down add-log-exp
5×cbrt-undiv div-exp
4×cbrt-prod sub-neg insert-posit16 associate--r-
3×associate-/l*
2×associate-+l+ div-inv
1×+-commutative clear-num associate-/r* sum-log frac-2neg pow1/3 associate-*l* *-commutative difference-of-squares
Calls
4 calls:
Slowest
6.7s
(/ (+ (* (* (* (cbrt (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6)) (cbrt (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6))) (* (cbrt (- (* (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))))) (* 6 6))) (* x1 x1))) (+ 1 (* x1 x1))) (* (cbrt (+ (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6)) (* (* (* (- (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) 3) x1) 2) (- (* x2 2) (- x1 (* (* 3 x1) x1)))))) (* (cbrt (+ (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6)) (+ 1 (* x1 x1))))
2.9s
(+ (* (* (* (cbrt (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6)) (cbrt (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6))) (* (cbrt (- (* (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))))) (* 6 6))) (* x1 x1))) (+ 1 (* x1 x1))) (* (cbrt (+ (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6)) (* (* (* (- (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) 3) x1) 2) (- (* x2 2) (- x1 (* (* 3 x1) x1))))))
136.0ms
(cbrt (- (* (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))))) (* 6 6)))
71.0ms
(* (* (* 3 x1) x1) (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))))

series2.7m

Calls
4 calls:
Slowest
1.9m
(/ (+ (* (* (* (cbrt (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6)) (cbrt (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6))) (* (cbrt (- (* (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))))) (* 6 6))) (* x1 x1))) (+ 1 (* x1 x1))) (* (cbrt (+ (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6)) (* (* (* (- (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) 3) x1) 2) (- (* x2 2) (- x1 (* (* 3 x1) x1)))))) (* (cbrt (+ (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6)) (+ 1 (* x1 x1))))
43.7s
(+ (* (* (* (cbrt (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6)) (cbrt (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6))) (* (cbrt (- (* (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))))) (* 6 6))) (* x1 x1))) (+ 1 (* x1 x1))) (* (cbrt (+ (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6)) (* (* (* (- (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) 3) x1) 2) (- (* x2 2) (- x1 (* (* 3 x1) x1))))))
1.5s
(cbrt (- (* (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))))) (* 6 6)))
76.0ms
(* (* (* 3 x1) x1) (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))))