Details

Time bar (total: 3.0m)

sample397.0ms

Algorithm
intervals
Results
202.0ms434×body80valid
17.0ms12×body640valid
12.0ms6×body1280valid
12.0ms11×body320valid
3.0ms3×body160valid

simplify915.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
914.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)))))

prune40.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.5b

localize150.0ms

Local error

Found 4 expressions with local error:

7.3b
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
7.2b
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))
3.8b
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
3.0b
(+ (* (* (* 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.7s

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
Counts
4 → 120
Calls
4 calls:
Slowest
632.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)))
556.0ms
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
289.0ms
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
245.0ms
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))

series720.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
394.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)))
131.0ms
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
127.0ms
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
68.0ms
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))

simplify26.4s

Counts
103 → 132
Calls
103 calls:
Slowest
1.1s
(* (* (* (* (* 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))))
1.0s
(+ (* (* (* (* 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)))))
976.0ms
(* (* (+ (* 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))))
790.0ms
(+ (* (* (* (* 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)))))
773.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

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.4b

localize174.0ms

Local error

Found 4 expressions with local error:

7.3b
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
7.2b
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))
3.9b
(- (/ (+ (* (* 3 x1) x1) (* 2 x2)) (+ (* x1 x1) 1)) (+ (/ x1 (+ (* x1 x1) 1)) 3))
3.0b
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (+ (* (* 3 x1) x1) (* 2 x2)) (+ (* x1 x1) 1)) (+ (/ x1 (+ (* x1 x1) 1)) 3))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))

rewrite1.2s

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

series805.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
466.0ms
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (+ (* (* 3 x1) x1) (* 2 x2)) (+ (* x1 x1) 1)) (+ (/ x1 (+ (* x1 x1) 1)) 3))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
119.0ms
(- (/ (+ (* (* 3 x1) x1) (* 2 x2)) (+ (* x1 x1) 1)) (+ (/ x1 (+ (* x1 x1) 1)) 3))
115.0ms
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
105.0ms
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))

simplify33.6s

Counts
124 → 144
Calls
124 calls:
Slowest
989.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))))
984.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))))
922.0ms
(* (* (+ (* x1 x1) 1) (* (+ (* x1 x1) 1) (+ (* (/ x1 (+ (* x1 x1) 1)) (/ x1 (+ (* x1 x1) 1))) (- (* 3 3) (* (/ 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))))
870.0ms
(* (+ (* (/ (+ (* (* 3 x1) x1) (* 2 x2)) (+ (* x1 x1) 1)) (/ (+ (* (* 3 x1) x1) (* 2 x2)) (+ (* x1 x1) 1))) (+ (* (+ (/ x1 (+ (* x1 x1) 1)) 3) (+ (/ x1 (+ (* x1 x1) 1)) 3)) (* (/ (+ (* (* 3 x1) x1) (* 2 x2)) (+ (* x1 x1) 1)) (+ (/ 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))))
865.0ms
(* (* (+ (* x1 x1) 1) (+ (* (/ x1 (+ (* x1 x1) 1)) (/ x1 (+ (* x1 x1) 1))) (- (* 3 3) (* (/ 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))))

prune3.9s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.4b

localize219.0ms

Local error

Found 4 expressions with local error:

7.3b
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
7.2b
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))
3.9b
(- (* (+ (* (* 3 x1) x1) (* 2 x2)) (- 9 (* (/ x1 (+ (* x1 x1) 1)) (- 3 (/ x1 (+ (* x1 x1) 1)))))) (* (+ (* x1 x1) 1) (+ 27 (* (/ x1 (+ (* x1 x1) 1)) (* (/ x1 (+ (* x1 x1) 1)) (/ x1 (+ (* x1 x1) 1)))))))
3.0b
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (/ (- (* (+ (* (* 3 x1) x1) (* 2 x2)) (- 9 (* (/ x1 (+ (* x1 x1) 1)) (- 3 (/ x1 (+ (* x1 x1) 1)))))) (* (+ (* x1 x1) 1) (+ 27 (* (/ x1 (+ (* x1 x1) 1)) (* (/ x1 (+ (* x1 x1) 1)) (/ x1 (+ (* x1 x1) 1))))))) (* (+ 9 (* (/ x1 (+ (* x1 x1) 1)) (+ -3 (/ x1 (+ (* x1 x1) 1))))) (+ (* x1 x1) 1)))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))

rewrite1.0s

Algorithm
rewrite-expression-head
Rules
74×flip3-+ flip-+
66×frac-times
64×frac-sub
47×associate-*r/
34×associate-*l/
30×add-cbrt-cube add-exp-log
29×flip3-- flip--
24×associate-*r*
21×add-sqr-sqrt
20×*-un-lft-identity
18×pow1
15×times-frac prod-exp cbrt-unprod
14×add-cube-cbrt
9×pow-prod-down
8×add-log-exp
7×distribute-rgt-in sub-neg distribute-lft-in
6×frac-add
4×associate-+r+ associate--l+ insert-posit16
3×cbrt-undiv div-exp distribute-lft-out-- difference-of-squares
2×associate-*l* associate-/r/ *-commutative associate--r+
1×+-commutative sum-log diff-log div-inv unswap-sqr
Counts
4 → 178
Calls
4 calls:
Slowest
401.0ms
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (/ (- (* (+ (* (* 3 x1) x1) (* 2 x2)) (- 9 (* (/ x1 (+ (* x1 x1) 1)) (- 3 (/ x1 (+ (* x1 x1) 1)))))) (* (+ (* x1 x1) 1) (+ 27 (* (/ x1 (+ (* x1 x1) 1)) (* (/ x1 (+ (* x1 x1) 1)) (/ x1 (+ (* x1 x1) 1))))))) (* (+ 9 (* (/ x1 (+ (* x1 x1) 1)) (+ -3 (/ x1 (+ (* x1 x1) 1))))) (+ (* x1 x1) 1)))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
289.0ms
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))
264.0ms
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
48.0ms
(- (* (+ (* (* 3 x1) x1) (* 2 x2)) (- 9 (* (/ x1 (+ (* x1 x1) 1)) (- 3 (/ x1 (+ (* x1 x1) 1)))))) (* (+ (* x1 x1) 1) (+ 27 (* (/ x1 (+ (* x1 x1) 1)) (* (/ x1 (+ (* x1 x1) 1)) (/ x1 (+ (* x1 x1) 1)))))))

series2.8s

Counts
4 → 12
Calls
4 calls:
Slowest
2.3s
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (/ (- (* (+ (* (* 3 x1) x1) (* 2 x2)) (- 9 (* (/ x1 (+ (* x1 x1) 1)) (- 3 (/ x1 (+ (* x1 x1) 1)))))) (* (+ (* x1 x1) 1) (+ 27 (* (/ x1 (+ (* x1 x1) 1)) (* (/ x1 (+ (* x1 x1) 1)) (/ x1 (+ (* x1 x1) 1))))))) (* (+ 9 (* (/ x1 (+ (* x1 x1) 1)) (+ -3 (/ x1 (+ (* x1 x1) 1))))) (+ (* x1 x1) 1)))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
249.0ms
(- (* (+ (* (* 3 x1) x1) (* 2 x2)) (- 9 (* (/ x1 (+ (* x1 x1) 1)) (- 3 (/ x1 (+ (* x1 x1) 1)))))) (* (+ (* x1 x1) 1) (+ 27 (* (/ x1 (+ (* x1 x1) 1)) (* (/ x1 (+ (* x1 x1) 1)) (/ x1 (+ (* x1 x1) 1)))))))
115.0ms
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
86.0ms
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))

simplify1.2m

Counts
219 → 190
Calls
219 calls:
Slowest
1.1s
(* (* (* (* (* 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))))
1.0s
(* (* (- (* (* 3 x1) x1) (* 2 x2)) (+ (* 9 9) (+ (* (* (/ x1 (+ (* x1 x1) 1)) (- 3 (/ x1 (+ (* x1 x1) 1)))) (* (/ x1 (+ (* x1 x1) 1)) (- 3 (/ x1 (+ (* x1 x1) 1))))) (* 9 (* (/ x1 (+ (* x1 x1) 1)) (- 3 (/ x1 (+ (* x1 x1) 1)))))))) (* (+ (* (* x1 x1) (* x1 x1)) (- (* 1 1) (* (* x1 x1) 1))) (- 27 (* (/ x1 (+ (* x1 x1) 1)) (* (/ x1 (+ (* x1 x1) 1)) (/ x1 (+ (* x1 x1) 1)))))))
1.0s
(* (* (- (* (* 3 x1) x1) (* 2 x2)) (+ 9 (* (/ x1 (+ (* x1 x1) 1)) (- 3 (/ x1 (+ (* x1 x1) 1)))))) (* (- (* x1 x1) 1) (+ (* 27 27) (- (* (* (/ x1 (+ (* x1 x1) 1)) (* (/ x1 (+ (* x1 x1) 1)) (/ x1 (+ (* x1 x1) 1)))) (* (/ x1 (+ (* x1 x1) 1)) (* (/ x1 (+ (* x1 x1) 1)) (/ x1 (+ (* x1 x1) 1))))) (* 27 (* (/ x1 (+ (* x1 x1) 1)) (* (/ x1 (+ (* x1 x1) 1)) (/ x1 (+ (* x1 x1) 1)))))))))
915.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))))
914.0ms
(* (* (+ (* (* (* 3 x1) x1) (* (* 3 x1) x1)) (- (* (* 2 x2) (* 2 x2)) (* (* (* 3 x1) x1) (* 2 x2)))) (+ 9 (* (/ x1 (+ (* x1 x1) 1)) (- 3 (/ x1 (+ (* x1 x1) 1)))))) (* (+ (* (* x1 x1) (* x1 x1)) (- (* 1 1) (* (* x1 x1) 1))) (- 27 (* (/ x1 (+ (* x1 x1) 1)) (* (/ x1 (+ (* x1 x1) 1)) (/ x1 (+ (* x1 x1) 1)))))))

prune8.7s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.3b

localize386.0ms

Local error

Found 4 expressions with local error:

7.3b
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
7.2b
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))
4.3b
(- (* (- 729 (* (* (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1)))) (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1))))) (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1)))))) (* (+ (* 3 (* x1 x1)) (* 2 x2)) (- (* x1 x1) 1))) (* (+ (* (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1)))) (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1))))) (+ (* (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1)))) 9) 81)) (* (- (* (* x1 x1) (* x1 x1)) 1) (+ (* (/ x1 (+ 1 (* x1 x1))) (* (/ x1 (+ 1 (* x1 x1))) (/ x1 (+ 1 (* x1 x1))))) 27))))
3.0b
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (/ (/ (- (* (- 729 (* (* (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1)))) (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1))))) (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1)))))) (* (+ (* 3 (* x1 x1)) (* 2 x2)) (- (* x1 x1) 1))) (* (+ (* (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1)))) (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1))))) (+ (* (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1)))) 9) 81)) (* (- (* (* x1 x1) (* x1 x1)) 1) (+ (* (/ x1 (+ 1 (* x1 x1))) (* (/ x1 (+ 1 (* x1 x1))) (/ x1 (+ 1 (* x1 x1))))) 27)))) (* (- (* x1 x1) 1) (+ (* (* (/ x1 (+ (* x1 x1) 1)) (- 3 (/ x1 (+ (* x1 x1) 1)))) (+ 9 (* (/ x1 (+ (* x1 x1) 1)) (- 3 (/ x1 (+ (* x1 x1) 1)))))) 81))) (* (+ 9 (* (/ x1 (+ (* x1 x1) 1)) (+ -3 (/ x1 (+ (* x1 x1) 1))))) (+ (* x1 x1) 1)))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))

rewrite6.7s

Algorithm
rewrite-expression-head
Rules
63870×frac-times
28739×flip3-- flip--
24490×associate-*l/
21159×associate-*r/
20024×flip3-+ flip-+
17056×frac-sub
16386×frac-add
30×add-cbrt-cube add-exp-log
24×associate-*r*
21×add-sqr-sqrt
20×*-un-lft-identity
18×pow1
16×distribute-rgt-in distribute-lft-in
15×times-frac prod-exp cbrt-unprod
14×add-cube-cbrt
9×sub-neg pow-prod-down
8×associate--l+ add-log-exp
4×associate-+r+ insert-posit16 associate--r+
3×cbrt-undiv div-exp distribute-lft-out-- difference-of-squares
2×associate-*l* associate-/r/ *-commutative
1×+-commutative sum-log diff-log div-inv unswap-sqr
Counts
4 → 17176
Calls
4 calls:
Slowest
927.0ms
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (/ (/ (- (* (- 729 (* (* (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1)))) (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1))))) (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1)))))) (* (+ (* 3 (* x1 x1)) (* 2 x2)) (- (* x1 x1) 1))) (* (+ (* (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1)))) (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1))))) (+ (* (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1)))) 9) 81)) (* (- (* (* x1 x1) (* x1 x1)) 1) (+ (* (/ x1 (+ 1 (* x1 x1))) (* (/ x1 (+ 1 (* x1 x1))) (/ x1 (+ 1 (* x1 x1))))) 27)))) (* (- (* x1 x1) 1) (+ (* (* (/ x1 (+ (* x1 x1) 1)) (- 3 (/ x1 (+ (* x1 x1) 1)))) (+ 9 (* (/ x1 (+ (* x1 x1) 1)) (- 3 (/ x1 (+ (* x1 x1) 1)))))) 81))) (* (+ 9 (* (/ x1 (+ (* x1 x1) 1)) (+ -3 (/ x1 (+ (* x1 x1) 1))))) (+ (* x1 x1) 1)))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
662.0ms
(- (* (- 729 (* (* (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1)))) (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1))))) (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1)))))) (* (+ (* 3 (* x1 x1)) (* 2 x2)) (- (* x1 x1) 1))) (* (+ (* (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1)))) (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1))))) (+ (* (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1)))) 9) 81)) (* (- (* (* x1 x1) (* x1 x1)) 1) (+ (* (/ x1 (+ 1 (* x1 x1))) (* (/ x1 (+ 1 (* x1 x1))) (/ x1 (+ 1 (* x1 x1))))) 27))))
266.0ms
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
231.0ms
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))

series18.2s

Counts
4 → 12
Calls
4 calls:
Slowest
17.2s
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (/ (/ (- (* (- 729 (* (* (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1)))) (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1))))) (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1)))))) (* (+ (* 3 (* x1 x1)) (* 2 x2)) (- (* x1 x1) 1))) (* (+ (* (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1)))) (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1))))) (+ (* (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1)))) 9) 81)) (* (- (* (* x1 x1) (* x1 x1)) 1) (+ (* (/ x1 (+ 1 (* x1 x1))) (* (/ x1 (+ 1 (* x1 x1))) (/ x1 (+ 1 (* x1 x1))))) 27)))) (* (- (* x1 x1) 1) (+ (* (* (/ x1 (+ (* x1 x1) 1)) (- 3 (/ x1 (+ (* x1 x1) 1)))) (+ 9 (* (/ x1 (+ (* x1 x1) 1)) (- 3 (/ x1 (+ (* x1 x1) 1)))))) 81))) (* (+ 9 (* (/ x1 (+ (* x1 x1) 1)) (+ -3 (/ x1 (+ (* x1 x1) 1))))) (+ (* x1 x1) 1)))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
730.0ms
(- (* (- 729 (* (* (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1)))) (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1))))) (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1)))))) (* (+ (* 3 (* x1 x1)) (* 2 x2)) (- (* x1 x1) 1))) (* (+ (* (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1)))) (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1))))) (+ (* (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1)))) 9) 81)) (* (- (* (* x1 x1) (* x1 x1)) 1) (+ (* (/ x1 (+ 1 (* x1 x1))) (* (/ x1 (+ 1 (* x1 x1))) (/ x1 (+ 1 (* x1 x1))))) 27))))
113.0ms
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
88.0ms
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))