Details

Time bar (total: 3.7m)

sample304.0ms

Algorithm
intervals
Results
122.0ms455×body80valid
29.0ms4×body160valid
18.0ms16×body640valid
12.0ms7×body1280valid
7.0ms9×body320valid

simplify298.0ms

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

prune59.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize161.0ms

Local error

Found 4 expressions with local error:

6.5b
(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.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)

rewrite293.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
201.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))))
51.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
30.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.1s

Counts
4 → 12
Calls
4 calls:
Slowest
474.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)))))
431.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))))
137.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
49.0ms
(* (* 3 x1) x1)

simplify32.6s

Counts
184 → 175
Calls
184 calls:
Slowest
1.2s
(* (* (* (- (/ (- (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)))))
910.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)))))
755.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))))
721.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))))
691.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)))

prune5.0s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.2b

localize139.0ms

Local error

Found 4 expressions with local error:

6.5b
(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.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)

rewrite338.0ms

Algorithm
rewrite-expression-head
Rules
104×add-sqr-sqrt
101×*-un-lft-identity
76×times-frac
69×add-cube-cbrt
57×prod-diff
30×add-cbrt-cube add-exp-log
22×associate-*r*
19×fma-neg
18×pow1
17×difference-of-squares
16×distribute-lft-out--
15×prod-exp cbrt-unprod
9×pow-prod-down
6×associate-*l/ add-log-exp
5×div-inv
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×cbrt-undiv flip3-- div-exp flip--
2×frac-times associate-*l* *-commutative
1×associate--l- sub-neg diff-log div-sub associate-*r/ fma-udef
Counts
4 → 178
Calls
4 calls:
Slowest
241.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)))
61.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
28.0ms
(* (* 3 x1) x1)
1.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.1s

Counts
4 → 12
Calls
4 calls:
Slowest
490.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)
55.0ms
(* (* 3 x1) x1)

simplify34.9s

Counts
201 → 190
Calls
201 calls:
Slowest
1.1s
(* (* (* (* (- (/ (- (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) (* x1 2))) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* 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 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.0s
(* (* (- (/ (- (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)))
942.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))))
756.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))))

prune5.0s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.2b

localize134.0ms

Local error

Found 4 expressions with local error:

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

rewrite275.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
190.0ms
(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (- (fma x2 2 (* (* 3 x1) x1)) x1)))
62.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
16.0ms
(* (* 3 x1) x1)
1.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)))

series925.0ms

Counts
4 → 12
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)))
302.0ms
(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (- (fma x2 2 (* (* 3 x1) x1)) x1)))
154.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
43.0ms
(* (* 3 x1) x1)

simplify51.0s

Counts
233 → 222
Calls
233 calls:
Slowest
819.0ms
(* (* (* x1 2) (- x1)) (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3))
754.0ms
(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (- (fma x2 2 (* (* 3 x1) x1)) x1)))
742.0ms
(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (- (fma x2 2 (* (* 3 x1) x1)) x1)))
694.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)))
678.0ms
(fma (/ 1 1) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) (- (* (sqrt 3) (sqrt 3))))

prune6.7s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.1b

localize208.0ms

Local error

Found 4 expressions with local error:

6.9b
(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))))))
4.3b
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
4.3b
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
4.3b
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)

rewrite188.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
67.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
56.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
56.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
1.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))))))

series896.0ms

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

simplify1.0m

Counts
429 → 308
Calls
429 calls:
Slowest
764.0ms
(fma (/ (+ (sqrt (fma x2 2 (* (* 3 x1) x1))) (sqrt x1)) 1) (/ (- (sqrt (fma x2 2 (* (* 3 x1) x1))) (sqrt x1)) (fma x1 x1 1)) (- (* (cbrt 3) (* (cbrt 3) (cbrt 3)))))
722.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)))
714.0ms
(fma (/ 1 (sqrt (fma x1 x1 1))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (sqrt (fma x1 x1 1))) (- (* 3 1)))
704.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))))
689.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.2s

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 0.1b

regimes653.0ms

Accuracy

0% (0.2b remaining)

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

bsearch11.0ms

end0.0ms

sample8.7s

Algorithm
intervals
Results
6.1s14057×body80valid
1.1s416×body640valid
658.0ms319×body320valid
394.0ms181×body1280valid
107.0ms164×body160valid