Details

Time bar (total: 3.9m)

sample597.0ms

Algorithm
intervals
Results
437.0ms421×body80valid
19.0ms11×body640valid
11.0ms10×body320valid
11.0ms6×body1280valid
8.0ms8×body160valid

simplify309.0ms

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

prune36.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize156.0ms

Local error

Found 4 expressions with local error:

8.3b
(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.6b
(- (/ (- (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)

rewrite422.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
338.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))))
57.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
18.0ms
(* (* 3 x1) x1)
2.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.0s

Counts
4 → 12
Calls
4 calls:
Slowest
485.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)))))
348.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))))
150.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
41.0ms
(* (* 3 x1) x1)

simplify31.8s

Counts
184 → 175
Calls
184 calls:
Slowest
1.1s
(* (* (* (- (/ (- (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)))))
1.1s
(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))))
904.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 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)))))
743.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) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))

prune4.7s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.2b

localize89.0ms

Local error

Found 4 expressions with local error:

8.3b
(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.6b
(- (/ (- (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)))
0.2b
(* (* 3 x1) x1)

rewrite312.0ms

Algorithm
rewrite-expression-head
Rules
119×add-sqr-sqrt
113×*-un-lft-identity
93×prod-diff
85×add-cube-cbrt
62×times-frac
48×distribute-rgt-in distribute-lft-in
19×fma-neg
18×pow1 add-cbrt-cube add-exp-log
16×difference-of-squares
14×distribute-lft-out--
9×pow-prod-down prod-exp cbrt-unprod
8×associate-*r/
7×flip3-- associate-*l* flip--
6×add-log-exp
5×sub-neg fma-udef
4×expm1-log1p-u frac-times associate-*r* associate--l+ insert-posit16 log1p-expm1-u div-inv
2×associate-*l/ *-commutative
1×associate--l- diff-log div-sub
Counts
4 → 210
Calls
4 calls:
Slowest
223.0ms
(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (- (fma x2 2 (* (* 3 x1) x1)) x1)))
50.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
30.0ms
(* (* 3 x1) x1)
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)))

series1.0s

Counts
4 → 12
Calls
4 calls:
Slowest
512.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)))
371.0ms
(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (- (fma x2 2 (* (* 3 x1) x1)) x1)))
115.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
47.0ms
(* (* 3 x1) x1)

simplify50.7s

Counts
233 → 222
Calls
233 calls:
Slowest
903.0ms
(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (fma (- x1) 1 (* x1 1))))
728.0ms
(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (- (fma x2 2 (* (* 3 x1) x1)) x1)))
712.0ms
(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (- (fma x2 2 (* (* 3 x1) x1)) x1)))
652.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)))
640.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))))

prune6.4s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.1b

localize163.0ms

Local error

Found 4 expressions with local error:

8.3b
(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 (* (* x1 x1) 3)) x1))) (fma x1 x1 1)))
3.6b
(- (/ (- (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 (* (* x1 x1) 3)) x1)))
0.2b
(* (* x1 x1) 3)

rewrite336.0ms

Algorithm
rewrite-expression-head
Rules
120×add-sqr-sqrt
113×*-un-lft-identity
93×prod-diff
85×add-cube-cbrt
62×times-frac
48×distribute-rgt-in distribute-lft-in
19×fma-neg
18×pow1 add-cbrt-cube add-exp-log
16×difference-of-squares
14×distribute-lft-out--
9×pow-prod-down prod-exp cbrt-unprod
8×associate-*r/
7×flip3-- associate-*l* flip--
6×add-log-exp
5×sub-neg fma-udef
4×expm1-log1p-u frac-times associate-*r* associate--l+ insert-posit16 log1p-expm1-u div-inv
2×associate-*l/ *-commutative
1×associate--l- diff-log div-sub unswap-sqr
Counts
4 → 211
Calls
4 calls:
Slowest
244.0ms
(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (- (fma x2 2 (* (* x1 x1) 3)) x1)))
65.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
21.0ms
(* (* x1 x1) 3)
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 (* (* x1 x1) 3)) x1))) (fma x1 x1 1)))

series977.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
480.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 (* (* x1 x1) 3)) x1))) (fma x1 x1 1)))
333.0ms
(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (- (fma x2 2 (* (* x1 x1) 3)) x1)))
133.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
31.0ms
(* (* x1 x1) 3)

simplify50.1s

Counts
235 → 223
Calls
235 calls:
Slowest
800.0ms
(* (+ (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (+ (fma x2 2 (* (* x1 x1) 3)) x1))
784.0ms
(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (- (fma x2 2 (* (* x1 x1) 3)) x1)))
776.0ms
(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (- (fma x2 2 (* (* x1 x1) 3)) x1)))
766.0ms
(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (- (fma x2 2 (* (* x1 x1) 3)) x1)))
695.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))))

prune7.4s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.1b

localize118.0ms

Local error

Found 4 expressions with local error:

9.0b
(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.6b
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
3.6b
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
3.6b
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)

rewrite160.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
52.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
51.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
49.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))))))

series823.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
418.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))))))
146.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
142.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
117.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)

simplify59.9s

Counts
429 → 308
Calls
429 calls:
Slowest
739.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)))))
676.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))))
665.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))))
657.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))))
653.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)))

prune10.0s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.1b

regimes230.0ms

Accuracy

0% (0.2b remaining)

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

bsearch28.0ms

end0.0ms

sample8.5s

Algorithm
intervals
Results
6.7s13823×body80valid
594.0ms394×body640valid
335.0ms168×body1280valid
329.0ms295×body320valid
219.0ms196×body160valid