Details

Time bar (total: 1.3m)

sample422.0ms

Algorithm
intervals
Results
284.0ms453×body80valid
27.0ms16×body640valid
23.0ms13×body320valid
5.0ms6×body160valid
5.0ms2×body1280valid

simplify251.0ms

Calls
1 calls:
Slowest
250.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)))))

prune43.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize106.0ms

Local error

Found 4 expressions with local error:

5.6b
(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))
4.5b
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
0.2b
(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))
0.2b
(* (* 3 x1) x1)

rewrite125.0ms

Algorithm
rewrite-expression-head
Rules
13×add-cbrt-cube fma-neg add-exp-log
12×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×pow1 times-frac
5×prod-exp cbrt-unprod
4×expm1-log1p-u associate-*l* associate-*r/ insert-posit16 log1p-expm1-u add-log-exp
3×flip3-- pow-prod-down flip--
2×frac-times associate-*l/ *-commutative
1×associate--l- cbrt-undiv sub-neg div-sub div-exp associate-*r* fma-udef div-inv
Calls
4 calls:
Slowest
75.0ms
(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))
40.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
4.0ms
(* (* 3 x1) x1)
3.0ms
(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))

series959.0ms

Calls
4 calls:
Slowest
426.0ms
(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))
367.0ms
(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))
133.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
33.0ms
(* (* 3 x1) x1)

simplify9.5s

Calls
43 calls:
Slowest
961.0ms
(* (* (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)) (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)) (* (* (* (* x1 2) (* x1 2)) (* x1 2)) (/ (* (* (- (fma x2 2 (* (* 3 x1) x1)) x1) (- (fma x2 2 (* (* 3 x1) x1)) x1)) (- (fma x2 2 (* (* 3 x1) x1)) x1)) (* (* (fma x1 x1 1) (fma x1 x1 1)) (fma x1 x1 1)))))
753.0ms
(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))
711.0ms
(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))
683.0ms
(* (* (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)) (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)) (* (* (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))
571.0ms
(* (* (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)) (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)) (* (* (* (* x1 2) (* x1 2)) (* x1 2)) (* (* (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))

prune2.3s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.2b

localize106.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)))

rewrite303.0ms

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

series736.0ms

Calls
4 calls:
Slowest
432.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)))
119.0ms
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
113.0ms
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
72.0ms
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))

simplify18.8s

Calls
91 calls:
Slowest
977.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))))
902.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)))))
713.0ms
(* (* (* (* (* 3 x1) x1) (* (* 3 x1) x1)) (* (* 3 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))))
636.0ms
(* (* (* (* x1 x1) (* x1 x1)) (* x1 x1)) (* (* (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
541.0ms
(* (+ (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3) (+ (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))

prune3.1s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.2b

localize62.0ms

Local error

Found 4 expressions with local error:

9.2b
(cbrt (fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))))
9.2b
(cbrt (fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))))
9.2b
(cbrt (fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))))
5.6b
(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
7×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 add-log-exp
3×pow1/3
1×fma-udef
Calls
4 calls:
Slowest
2.0ms
(cbrt (fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))))
1.0ms
(cbrt (fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))))
1.0ms
(cbrt (fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))))
0.0ms
(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))

series10.2s

Calls
4 calls:
Slowest
3.7s
(cbrt (fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))))
3.0s
(cbrt (fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))))
3.0s
(cbrt (fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))))
425.0ms
(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))

simplify4.0s

Calls
21 calls:
Slowest
355.0ms
(- (exp (* 1/3 (- (+ (* 3 (log (/ -1 x1))) (log -8)) (* 2 (log (/ -1 x2)))))) (+ (* 5/6 (/ (exp (* 1/3 (- (+ (* 3 (log (/ -1 x1))) (log -8)) (* 2 (log (/ -1 x2)))))) x2)) (* 149/729 (/ (exp (* 1/3 (- (+ (* 3 (log (/ -1 x1))) (log -8)) (* 2 (log (/ -1 x2)))))) (pow x2 2)))))
327.0ms
(- (exp (* 1/3 (- (+ (log 8) (* 3 (log (/ 1 x1)))) (* 2 (log (/ 1 x2)))))) (+ (* 5/6 (/ (exp (* 1/3 (- (+ (log 8) (* 3 (log (/ 1 x1)))) (* 2 (log (/ 1 x2)))))) x2)) (* 149/729 (/ (exp (* 1/3 (- (+ (log 8) (* 3 (log (/ 1 x1)))) (* 2 (log (/ 1 x2)))))) (pow x2 2)))))
302.0ms
(- (exp (* 1/3 (- (+ (* 3 (log (/ -1 x1))) (log -8)) (* 2 (log (/ -1 x2)))))) (+ (* 5/6 (/ (exp (* 1/3 (- (+ (* 3 (log (/ -1 x1))) (log -8)) (* 2 (log (/ -1 x2)))))) x2)) (* 149/729 (/ (exp (* 1/3 (- (+ (* 3 (log (/ -1 x1))) (log -8)) (* 2 (log (/ -1 x2)))))) (pow x2 2)))))
277.0ms
(- (exp (* 1/3 (- (+ (log 8) (* 3 (log (/ 1 x1)))) (* 2 (log (/ 1 x2)))))) (+ (* 5/6 (/ (exp (* 1/3 (- (+ (log 8) (* 3 (log (/ 1 x1)))) (* 2 (log (/ 1 x2)))))) x2)) (* 149/729 (/ (exp (* 1/3 (- (+ (log 8) (* 3 (log (/ 1 x1)))) (* 2 (log (/ 1 x2)))))) (pow x2 2)))))
272.0ms
(- (exp (* 1/3 (- (+ (log 8) (* 3 (log (/ 1 x1)))) (* 2 (log (/ 1 x2)))))) (+ (* 5/6 (/ (exp (* 1/3 (- (+ (log 8) (* 3 (log (/ 1 x1)))) (* 2 (log (/ 1 x2)))))) x2)) (* 149/729 (/ (exp (* 1/3 (- (+ (log 8) (* 3 (log (/ 1 x1)))) (* 2 (log (/ 1 x2)))))) (pow x2 2)))))

prune1.6s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.1b

localize66.0ms

Local error

Found 4 expressions with local error:

9.2b
(cbrt (fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))))
9.2b
(cbrt (fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))))
9.2b
(cbrt (fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))))
9.2b
(cbrt (fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))))

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 add-cbrt-cube pow1/3 add-exp-log insert-posit16 log1p-expm1-u add-log-exp
Calls
4 calls:
Slowest
1.0ms
(cbrt (fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))))
1.0ms
(cbrt (fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))))
1.0ms
(cbrt (fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))))
1.0ms
(cbrt (fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))))

series13.2s

Calls
4 calls:
Slowest
3.7s
(cbrt (fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))))
3.2s
(cbrt (fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))))
3.1s
(cbrt (fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))))
3.1s
(cbrt (fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))))

simplify4.7s

Calls
24 calls:
Slowest
346.0ms
(- (exp (* 1/3 (- (+ (* 3 (log (/ -1 x1))) (log -8)) (* 2 (log (/ -1 x2)))))) (+ (* 5/6 (/ (exp (* 1/3 (- (+ (* 3 (log (/ -1 x1))) (log -8)) (* 2 (log (/ -1 x2)))))) x2)) (* 149/729 (/ (exp (* 1/3 (- (+ (* 3 (log (/ -1 x1))) (log -8)) (* 2 (log (/ -1 x2)))))) (pow x2 2)))))
334.0ms
(- (exp (* 1/3 (- (+ (* 3 (log (/ -1 x1))) (log -8)) (* 2 (log (/ -1 x2)))))) (+ (* 5/6 (/ (exp (* 1/3 (- (+ (* 3 (log (/ -1 x1))) (log -8)) (* 2 (log (/ -1 x2)))))) x2)) (* 149/729 (/ (exp (* 1/3 (- (+ (* 3 (log (/ -1 x1))) (log -8)) (* 2 (log (/ -1 x2)))))) (pow x2 2)))))
333.0ms
(- (exp (* 1/3 (- (+ (log 8) (* 3 (log (/ 1 x1)))) (* 2 (log (/ 1 x2)))))) (+ (* 5/6 (/ (exp (* 1/3 (- (+ (log 8) (* 3 (log (/ 1 x1)))) (* 2 (log (/ 1 x2)))))) x2)) (* 149/729 (/ (exp (* 1/3 (- (+ (log 8) (* 3 (log (/ 1 x1)))) (* 2 (log (/ 1 x2)))))) (pow x2 2)))))
315.0ms
(- (exp (* 1/3 (- (+ (log 8) (* 3 (log (/ 1 x1)))) (* 2 (log (/ 1 x2)))))) (+ (* 5/6 (/ (exp (* 1/3 (- (+ (log 8) (* 3 (log (/ 1 x1)))) (* 2 (log (/ 1 x2)))))) x2)) (* 149/729 (/ (exp (* 1/3 (- (+ (log 8) (* 3 (log (/ 1 x1)))) (* 2 (log (/ 1 x2)))))) (pow x2 2)))))
306.0ms
(- (exp (* 1/3 (- (+ (* 3 (log (/ -1 x1))) (log -8)) (* 2 (log (/ -1 x2)))))) (+ (* 5/6 (/ (exp (* 1/3 (- (+ (* 3 (log (/ -1 x1))) (log -8)) (* 2 (log (/ -1 x2)))))) x2)) (* 149/729 (/ (exp (* 1/3 (- (+ (* 3 (log (/ -1 x1))) (log -8)) (* 2 (log (/ -1 x2)))))) (pow x2 2)))))

prune1.9s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.1b

regimes595.0ms

Accuracy

0% (0.5b remaining)

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

bsearch53.0ms

end0.0ms

sample7.2s

Algorithm
intervals
Results
5.5s13952×body80valid
561.0ms451×body640valid
330.0ms270×body320valid
322.0ms164×body1280valid
124.0ms173×body160valid