Details

Time bar (total: 3.1m)

sample350.0ms

Algorithm
intervals
Results
179.0ms453×body80valid
21.0ms16×body640valid
13.0ms13×body320valid
5.0ms6×body160valid
2.0ms2×body1280valid

simplify1.1s

Calls
1 calls:
Slowest
1.1s
(+ 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)))))

prune34.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.5b

localize145.0ms

Local error

Found 4 expressions with local error:

5.8b
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
5.7b
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))
4.5b
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
1.9b
(+ (* (* (* 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)))

rewrite346.0ms

Algorithm
rewrite-expression-head
Rules
23×associate-*r/
18×associate-*r*
12×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
11×flip3-- add-cbrt-cube add-exp-log flip--
10×frac-add
9×times-frac
8×pow1
7×sub-neg
6×distribute-rgt-in distribute-lft-in add-log-exp
4×frac-times associate-+l+ associate-+r+ insert-posit16
3×prod-exp cbrt-unprod
2×flip3-+ associate-*l* pow-prod-down associate-*l/ associate-/r/ *-commutative flip-+
1×associate--l- cbrt-undiv +-commutative sum-log div-sub div-exp div-inv
Calls
4 calls:
Slowest
135.0ms
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
125.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)))
57.0ms
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))
25.0ms
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))

series716.0ms

Calls
4 calls:
Slowest
396.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)))
132.0ms
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
107.0ms
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
80.0ms
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))

simplify18.1s

Calls
76 calls:
Slowest
1.1s
(+ (* (* (* (* 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))) (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (+ (* 6 6) (* (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))) (* (+ (* x1 x1) 1) (* (* x1 x1) (- (pow (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 3) (pow 6 3)))))
939.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)))))
834.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))))
663.0ms
(+ (* (* 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)))
647.0ms
(* (+ (* (/ (- (+ (* (* 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))))

prune2.6s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.4b

localize112.0ms

Local error

Found 4 expressions with local error:

5.8b
(* (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6) (* x1 x1))
5.7b
(* (* (* 3 x1) x1) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))
4.5b
(- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)
1.9b
(+ (* (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6) (* x1 x1)) (* (* 2 (* x1 (- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))))

rewrite303.0ms

Algorithm
rewrite-expression-head
Rules
19×associate-*r/
16×associate-*r* associate-*l/
12×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
11×flip3-- add-cbrt-cube add-exp-log flip--
10×frac-add
9×times-frac
8×pow1
6×add-log-exp
4×frac-times associate-*l* insert-posit16
3×prod-exp cbrt-unprod
2×flip3-+ pow-prod-down associate-/r/ *-commutative flip-+
1×associate--l- cbrt-undiv +-commutative sum-log sub-neg div-sub div-exp associate-+l- div-inv
Calls
4 calls:
Slowest
139.0ms
(- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)
68.0ms
(+ (* (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6) (* x1 x1)) (* (* 2 (* x1 (- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))))
50.0ms
(* (* (* 3 x1) x1) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))
43.0ms
(* (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6) (* x1 x1))

series809.0ms

Calls
4 calls:
Slowest
464.0ms
(+ (* (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6) (* x1 x1)) (* (* 2 (* x1 (- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))))
132.0ms
(- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)
128.0ms
(* (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6) (* x1 x1))
85.0ms
(* (* (* 3 x1) x1) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))

simplify19.4s

Calls
63 calls:
Slowest
1.5s
(+ (* (* (- (pow (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 3) (pow 6 3)) (* x1 x1)) (+ 1 (* x1 x1))) (* (+ (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))) (+ (* 6 6) (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (* (* 2 (* x1 (- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3))) (+ (- (* (* 3 x1) x1) x1) (* x2 2)))))
1.3s
(+ (* (* (- (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))) (* 6 6)) (* x1 x1)) (+ (* (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (+ (* 3 3) (* (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)))) (* (+ (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6) (* (* 2 (* x1 (- (pow (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3) (pow 3 3)))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))))
979.0ms
(+ (* (* (- (pow (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 3) (pow 6 3)) (* x1 x1)) (+ (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)) (* (+ (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))) (+ (* 6 6) (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (* (* 2 (* x1 (- (* (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 3 3)))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))))
916.0ms
(+ (* (* (- (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))) (* 6 6)) (* x1 x1)) (* (+ (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3) (+ 1 (* x1 x1)))) (* (+ (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6) (* (* 2 (* x1 (- (* (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 3 3)))) (+ (- (* (* 3 x1) x1) x1) (* x2 2)))))
857.0ms
(+ (* (* (- (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))) (* 6 6)) (* x1 x1)) (+ (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)) (* (+ (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6) (* (* 2 (* x1 (- (* (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 3 3)))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))))

prune2.1s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.4b

localize33.0ms

Local error

Found 4 expressions with local error:

5.8b
(* (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6) (* x1 x1))
5.7b
(* (* (* 3 x1) x1) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))
4.5b
(- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)
4.5b
(- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)

rewrite302.0ms

Algorithm
rewrite-expression-head
Rules
16×associate-*r*
12×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
11×add-cbrt-cube add-exp-log
9×times-frac
8×pow1
4×associate-*l* insert-posit16 add-log-exp
3×flip3-- prod-exp cbrt-unprod flip--
2×associate--l- sub-neg div-sub pow-prod-down associate-*l/ associate-/r/ *-commutative associate-+l-
1×cbrt-undiv flip3-+ div-exp associate-*r/ flip-+ div-inv
Calls
4 calls:
Slowest
110.0ms
(- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)
92.0ms
(- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)
52.0ms
(* (* (* 3 x1) x1) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))
46.0ms
(* (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6) (* x1 x1))

series474.0ms

Calls
4 calls:
Slowest
147.0ms
(- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)
119.0ms
(* (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6) (* x1 x1))
118.0ms
(- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)
90.0ms
(* (* (* 3 x1) x1) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))

simplify7.7s

Calls
43 calls:
Slowest
890.0ms
(* (* (* (* (* 3 x1) x1) (* (* 3 x1) x1)) (* (* 3 x1) x1)) (/ (* (* (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ (- (* (* 3 x1) x1) x1) (* x2 2))) (+ (- (* (* 3 x1) x1) x1) (* x2 2))) (* (* (+ 1 (* x1 x1)) (+ 1 (* x1 x1))) (+ 1 (* x1 x1)))))
669.0ms
(* (- (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))) (* 6 6)) (* x1 x1))
457.0ms
(+ (* 1 1) (- (* (* x1 x1) (* x1 x1)) (* 1 (* x1 x1))))
336.0ms
(* (* (* (* (* 3 x1) x1) (* (* 3 x1) x1)) (* (* 3 x1) x1)) (* (* (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))))
300.0ms
(+ (log (* (* 3 x1) x1)) (log (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))))

prune2.0s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.4b

localize38.0ms

Local error

Found 4 expressions with local error:

6.9b
(+ (* (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (* x1 x1))) (* (* 2 (* x1 (- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))))
5.7b
(* (* (* 3 x1) x1) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))
4.5b
(- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)
4.4b
(* (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (* x1 x1)))

rewrite437.0ms

Algorithm
rewrite-expression-head
Rules
324×cbrt-div
283×associate-*r/
244×associate-*l/
220×frac-times
215×flip3-- flip--
130×frac-add
21×add-exp-log
18×pow1
16×associate-*r*
15×add-cbrt-cube
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
10×prod-exp cbrt-unprod
9×times-frac pow-prod-down
6×add-log-exp
4×insert-posit16
2×flip3-+ associate-*l* associate-/r/ *-commutative flip-+
1×associate--l- cbrt-undiv +-commutative sum-log sub-neg div-sub div-exp associate-+l- div-inv
Calls
4 calls:
Slowest
178.0ms
(+ (* (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (* x1 x1))) (* (* 2 (* x1 (- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))))
134.0ms
(* (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (* x1 x1)))
78.0ms
(- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)
31.0ms
(* (* (* 3 x1) x1) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))

series627.0ms

Calls
4 calls:
Slowest
352.0ms
(+ (* (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (* x1 x1))) (* (* 2 (* x1 (- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))))
112.0ms
(- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)
87.0ms
(* (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (* x1 x1)))
76.0ms
(* (* (* 3 x1) x1) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))

simplify2.0m

Calls
352 calls:
Slowest
1.0s
(+ (* (* (* (cbrt (- (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))) (* 6 6))) (cbrt (- (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))) (* 6 6)))) (* (cbrt (- (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))) (* 6 6))) (* x1 x1))) (+ (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)) (* (* (* (cbrt (+ (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (cbrt (+ (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (cbrt (+ (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (* (* 2 (* x1 (- (* (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 3 3)))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))))
1.0s
(+ (* (* (* (cbrt (- (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))) (* 6 6))) (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (* (cbrt (- (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))) (* 6 6))) (* x1 x1))) (+ (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)) (* (* (cbrt (+ (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (cbrt (+ (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (* (* 2 (* x1 (- (* (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 3 3)))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))))
998.0ms
(+ (* (* (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (cbrt (- (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))) (* 6 6)))) (* (cbrt (- (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))) (* 6 6))) (* x1 x1))) (+ (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)) (* (* (cbrt (+ (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (cbrt (+ (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (* (* 2 (* x1 (- (* (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 3 3)))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))))
953.0ms
(+ (* (* (* (cbrt (- (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))) (* 6 6))) (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (* (cbrt (- (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))) (* 6 6))) (* x1 x1))) (+ 1 (* x1 x1))) (* (* (cbrt (+ (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (cbrt (+ (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (* (* 2 (* x1 (- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3))) (+ (- (* (* 3 x1) x1) x1) (* x2 2)))))
943.0ms
(+ (* (* (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (* (cbrt (- (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))) (* 6 6))) (* x1 x1))) (+ (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)) (* (cbrt (+ (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (* (* 2 (* x1 (- (* (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 3 3)))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))))

prune5.4s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.4b

regimes404.0ms

Accuracy

0% (0.3b remaining)

Error of 0.6b against oracle of 0.4b and baseline of 0.6b

bsearch21.0ms

end0.0ms

sample5.7s

Algorithm
intervals
Results
3.9s13952×body80valid
809.0ms270×body320valid
519.0ms451×body640valid
196.0ms164×body1280valid
73.0ms173×body160valid