Details

Time bar (total: 3.1m)

sample509.0ms

Algorithm
intervals
Results
275.0ms451×body80valid
15.0ms13×body640valid
12.0ms8×body1280valid
12.0ms8×body320valid
2.0ms6×body160valid

simplify190.0ms

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

prune32.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize312.0ms

Local error

Found 4 expressions with local error:

8.4b
(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.3b
(- (/ (- (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)

rewrite324.0ms

Algorithm
rewrite-expression-head
Rules
95×add-sqr-sqrt
89×*-un-lft-identity
62×times-frac
61×add-cube-cbrt
57×prod-diff
27×add-cbrt-cube add-exp-log
19×fma-neg
18×pow1
16×difference-of-squares
14×prod-exp cbrt-unprod distribute-lft-out--
9×pow-prod-down
7×associate-*l*
6×add-log-exp
4×expm1-log1p-u associate-*r* associate-*r/ insert-posit16 log1p-expm1-u div-inv
3×flip3-- flip--
2×frac-times cbrt-undiv div-exp associate-*l/ *-commutative
1×associate--l- sub-neg diff-log div-sub fma-udef
Counts
4 → 163
Calls
4 calls:
Slowest
198.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))))
82.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
32.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)))))

series1.5s

Counts
4 → 12
Calls
4 calls:
Slowest
931.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)))))
392.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))))
134.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
33.0ms
(* (* 3 x1) x1)

simplify47.6s

Counts
236 → 175
Calls
236 calls:
Slowest
1.4s
(* (* (* (- (/ (- (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 x1) x1) (* (* 2 2) 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)))))
1.0s
(* (* (* (- (/ (- (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)))))
844.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)))) (* (- (/ (- (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))))) (* (- (/ (- (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)))))
787.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))))
783.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))))

prune4.9s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize194.0ms

Local error

Found 4 expressions with local error:

8.4b
(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (fma (/ (* (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (sqrt (fma x1 x1 1))) (/ (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (sqrt (fma x1 x1 1))) -3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))
7.6b
(fma (/ (* (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (sqrt (fma x1 x1 1))) (/ (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (sqrt (fma x1 x1 1))) -3)
0.5b
(cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))
0.5b
(cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
10×cbrt-prod add-sqr-sqrt *-un-lft-identity
6×add-cube-cbrt
4×expm1-log1p-u pow1 cbrt-div add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
2×flip3-- pow1/3 fma-udef flip-- distribute-lft-out-- difference-of-squares
Counts
4 → 58
Calls
4 calls:
Slowest
6.0ms
(cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))
6.0ms
(cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))
1.0ms
(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (fma (/ (* (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (sqrt (fma x1 x1 1))) (/ (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (sqrt (fma x1 x1 1))) -3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))
1.0ms
(fma (/ (* (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (sqrt (fma x1 x1 1))) (/ (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (sqrt (fma x1 x1 1))) -3)

series2.7s

Counts
4 → 12
Calls
4 calls:
Slowest
838.0ms
(cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))
802.0ms
(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (fma (/ (* (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (sqrt (fma x1 x1 1))) (/ (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (sqrt (fma x1 x1 1))) -3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))
774.0ms
(cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))
330.0ms
(fma (/ (* (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (sqrt (fma x1 x1 1))) (/ (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (sqrt (fma x1 x1 1))) -3)

simplify13.1s

Counts
82 → 70
Calls
82 calls:
Slowest
642.0ms
(exp (fma (/ (* (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (sqrt (fma x1 x1 1))) (/ (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (sqrt (fma x1 x1 1))) -3))
457.0ms
(* (* (fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (fma (/ (* (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (sqrt (fma x1 x1 1))) (/ (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (sqrt (fma x1 x1 1))) -3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))) (fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (fma (/ (* (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (sqrt (fma x1 x1 1))) (/ (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (sqrt (fma x1 x1 1))) -3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))) (fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (fma (/ (* (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (sqrt (fma x1 x1 1))) (/ (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (sqrt (fma x1 x1 1))) -3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))))
417.0ms
(* (* (fma (/ (* (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (sqrt (fma x1 x1 1))) (/ (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (sqrt (fma x1 x1 1))) -3) (fma (/ (* (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (sqrt (fma x1 x1 1))) (/ (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (sqrt (fma x1 x1 1))) -3)) (fma (/ (* (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (sqrt (fma x1 x1 1))) (/ (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (sqrt (fma x1 x1 1))) -3))
398.0ms
(exp (* 1/3 (- (log -2) (log (/ -1 x2)))))
362.0ms
(exp (* 1/3 (- (log -2) (log (/ -1 x2)))))

prune2.3s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.1b

localize141.0ms

Local error

Found 4 expressions with local error:

9.6b
(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (* (cbrt (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)) (cbrt (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3))) (* (cbrt (- (/ (- (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.3b
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
3.3b
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
3.3b
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)

rewrite233.0ms

Algorithm
rewrite-expression-head
Rules
256×add-sqr-sqrt
247×*-un-lft-identity
183×times-frac
171×prod-diff
169×add-cube-cbrt
57×fma-neg
42×difference-of-squares
39×distribute-lft-out--
12×div-inv
10×add-log-exp
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
3×associate--l- sub-neg flip3-- diff-log div-sub flip--
1×fma-udef
Counts
4 → 296
Calls
4 calls:
Slowest
74.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
72.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
72.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
0.0ms
(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (* (cbrt (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)) (cbrt (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3))) (* (cbrt (- (/ (- (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))))))

series939.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
487.0ms
(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (* (cbrt (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)) (cbrt (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3))) (* (cbrt (- (/ (- (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))))))
162.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
153.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
136.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)

simplify1.2m

Counts
491 → 308
Calls
491 calls:
Slowest
1.0s
(fma (/ 1 (* (cbrt (fma x1 x1 1)) (cbrt (fma x1 x1 1)))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (cbrt (fma x1 x1 1))) (- (* (sqrt 3) (sqrt 3))))
699.0ms
(fma (/ 1 (* (cbrt (fma x1 x1 1)) (cbrt (fma x1 x1 1)))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (cbrt (fma x1 x1 1))) (- (* 3 1)))
699.0ms
(fma (/ 1 (* (cbrt (fma x1 x1 1)) (cbrt (fma x1 x1 1)))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (cbrt (fma x1 x1 1))) (- (* (sqrt 3) (sqrt 3))))
683.0ms
(fma (/ 1 (* (cbrt (fma x1 x1 1)) (cbrt (fma x1 x1 1)))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (cbrt (fma x1 x1 1))) (- (* 3 1)))
682.0ms
(fma (/ 1 (sqrt (fma x1 x1 1))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (sqrt (fma x1 x1 1))) (- (* (cbrt 3) (* (cbrt 3) (cbrt 3)))))

prune9.8s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.1b

localize236.0ms

Local error

Found 4 expressions with local error:

8.4b
(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (fma (/ (* (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (sqrt (fma x1 x1 1))) (/ (* (* (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)))) (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)))) (sqrt (fma x1 x1 1))) -3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))
7.5b
(fma (/ (* (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (sqrt (fma x1 x1 1))) (/ (* (* (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)))) (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)))) (sqrt (fma x1 x1 1))) -3)
0.6b
(cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)))
0.6b
(cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
26×cbrt-prod
12×add-sqr-sqrt *-un-lft-identity
8×cbrt-div add-cube-cbrt
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
2×flip3-- pow1/3 fma-udef flip-- distribute-lft-out-- difference-of-squares
Counts
4 → 64
Calls
4 calls:
Slowest
7.0ms
(cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)))
6.0ms
(cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)))
1.0ms
(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (fma (/ (* (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (sqrt (fma x1 x1 1))) (/ (* (* (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)))) (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)))) (sqrt (fma x1 x1 1))) -3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))
1.0ms
(fma (/ (* (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (sqrt (fma x1 x1 1))) (/ (* (* (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)))) (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)))) (sqrt (fma x1 x1 1))) -3)

series3.3s

Counts
4 → 12
Calls
4 calls:
Slowest
1.3s
(cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)))
898.0ms
(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (fma (/ (* (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (sqrt (fma x1 x1 1))) (/ (* (* (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)))) (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)))) (sqrt (fma x1 x1 1))) -3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))
786.0ms
(cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)))
365.0ms
(fma (/ (* (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (sqrt (fma x1 x1 1))) (/ (* (* (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)))) (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)))) (sqrt (fma x1 x1 1))) -3)

simplify18.1s

Counts
94 → 76
Calls
94 calls:
Slowest
714.0ms
(* (* (fma (/ (* (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (sqrt (fma x1 x1 1))) (/ (* (* (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)))) (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)))) (sqrt (fma x1 x1 1))) -3) (fma (/ (* (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (sqrt (fma x1 x1 1))) (/ (* (* (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)))) (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)))) (sqrt (fma x1 x1 1))) -3)) (fma (/ (* (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (sqrt (fma x1 x1 1))) (/ (* (* (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)))) (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)))) (sqrt (fma x1 x1 1))) -3))
709.0ms
(cbrt (fma (/ (* (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (sqrt (fma x1 x1 1))) (/ (* (* (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)))) (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)))) (sqrt (fma x1 x1 1))) -3))
651.0ms
(* (cbrt (fma (/ (* (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (sqrt (fma x1 x1 1))) (/ (* (* (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)))) (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)))) (sqrt (fma x1 x1 1))) -3)) (cbrt (fma (/ (* (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (sqrt (fma x1 x1 1))) (/ (* (* (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)))) (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)))) (sqrt (fma x1 x1 1))) -3)))
641.0ms
(expm1 (fma (/ (* (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (sqrt (fma x1 x1 1))) (/ (* (* (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)))) (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)))) (sqrt (fma x1 x1 1))) -3))
596.0ms
(sqrt (fma (/ (* (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (sqrt (fma x1 x1 1))) (/ (* (* (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)))) (cbrt (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)))) (sqrt (fma x1 x1 1))) -3))

prune2.3s

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 0.1b

regimes691.0ms

Accuracy

0% (0.3b remaining)

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

bsearch27.0ms

end0.0ms

sample9.0s

Algorithm
intervals
Results
7.1s13832×body80valid
583.0ms409×body640valid
410.0ms292×body320valid
356.0ms188×body1280valid
152.0ms189×body160valid