Details

Time bar (total: 3.2m)

sample544.0ms

Algorithm
intervals
Results
345.0ms434×body80valid
17.0ms12×body640valid
13.0ms6×body1280valid
13.0ms11×body320valid
4.0ms3×body160valid

simplify244.0ms

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

prune46.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize180.0ms

Local error

Found 4 expressions with local error:

7.7b
(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.8b
(- (/ (- (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)

rewrite343.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
235.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))))
76.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
16.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.0s

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

simplify31.7s

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 x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))
899.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)))))
781.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))))
713.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.6s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize109.0ms

Local error

Found 4 expressions with local error:

7.7b
(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.8b
(- (/ (- (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)

rewrite276.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
182.0ms
(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (- (fma x2 2 (* (* 3 x1) x1)) x1)))
57.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
28.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)))

series983.0ms

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

simplify50.3s

Counts
233 → 222
Calls
233 calls:
Slowest
796.0ms
(fma (/ 1 1) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) (- (* (sqrt 3) (sqrt 3))))
791.0ms
(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (fma (- (sqrt x1)) (sqrt x1) (* (sqrt x1) (sqrt x1))) (* x1 2)))
723.0ms
(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (- (fma x2 2 (* (* 3 x1) x1)) x1)))
686.0ms
(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (- (fma x2 2 (* (* 3 x1) x1)) x1)))
669.0ms
(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (- (fma x2 2 (* (* 3 x1) x1)) x1)))

prune5.9s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize141.0ms

Local error

Found 4 expressions with local error:

7.7b
(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))) (* (cbrt (fma x1 x1 1)) (cbrt (fma x1 x1 1)))) (/ (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (fma x1 x1 1))) (- 3)) (* (* x1 2) (- (fma x2 2 (* (* 3 x1) x1)) x1))) (fma x1 x1 1)))
5.8b
(fma (/ (* (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (* (cbrt (fma x1 x1 1)) (cbrt (fma x1 x1 1)))) (/ (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (fma x1 x1 1))) (- 3))
0.6b
(cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))
0.6b
(cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))

rewrite13.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
9.0ms
(cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))
3.0ms
(cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))
0.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))) (* (cbrt (fma x1 x1 1)) (cbrt (fma x1 x1 1)))) (/ (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (fma x1 x1 1))) (- 3)) (* (* x1 2) (- (fma x2 2 (* (* 3 x1) x1)) x1))) (fma x1 x1 1)))
0.0ms
(fma (/ (* (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (* (cbrt (fma x1 x1 1)) (cbrt (fma x1 x1 1)))) (/ (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (fma x1 x1 1))) (- 3))

series10.0s

Counts
4 → 12
Calls
4 calls:
Slowest
5.1s
(fma (/ (* (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (* (cbrt (fma x1 x1 1)) (cbrt (fma x1 x1 1)))) (/ (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (fma x1 x1 1))) (- 3))
3.3s
(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))) (* (cbrt (fma x1 x1 1)) (cbrt (fma x1 x1 1)))) (/ (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (fma x1 x1 1))) (- 3)) (* (* x1 2) (- (fma x2 2 (* (* 3 x1) x1)) x1))) (fma x1 x1 1)))
856.0ms
(cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))
814.0ms
(cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))

simplify5.1s

Counts
26 → 70
Calls
26 calls:
Slowest
581.0ms
(- (+ (* 6 (pow x1 2)) (* 12 (* (exp (* 1/3 (- (+ (log -2) (* 2 (log (/ -1 x1)))) (log (/ -1 x2))))) (* (exp (* 1/3 (- (+ (* 4 (log (/ -1 x1))) (log 4)) (* 2 (log (/ -1 x2)))))) x1)))) (+ (* 22 x1) (* 6 (/ (* (exp (* 1/3 (- (+ (log -2) (* 2 (log (/ -1 x1)))) (log (/ -1 x2))))) (* (exp (* 1/3 (- (+ (* 4 (log (/ -1 x1))) (log 4)) (* 2 (log (/ -1 x2)))))) (pow x1 2))) x2))))
462.0ms
(- (+ (* 1/2 (/ (* (exp (* 1/3 (- (+ (log -2) (* 2 (log (/ -1 x1)))) (log (/ -1 x2))))) (exp (* 1/3 (- (+ (* 4 (log (/ -1 x1))) (log 4)) (* 2 (log (/ -1 x2))))))) (* x2 x1))) (* (exp (* 1/3 (- (+ (log -2) (* 2 (log (/ -1 x1)))) (log (/ -1 x2))))) (exp (* 1/3 (- (+ (* 4 (log (/ -1 x1))) (log 4)) (* 2 (log (/ -1 x2)))))))) (+ (* 3/2 (/ (* (exp (* 1/3 (- (+ (log -2) (* 2 (log (/ -1 x1)))) (log (/ -1 x2))))) (exp (* 1/3 (- (+ (* 4 (log (/ -1 x1))) (log 4)) (* 2 (log (/ -1 x2))))))) x2)) 3))
403.0ms
(exp (* 1/3 (- (log -2) (log (/ -1 x2)))))
373.0ms
(cbrt (- (pow (fma x2 2 (* (* 3 x1) x1)) 3) (pow x1 3)))
372.0ms
(exp (* 1/3 (- (log -2) (log (/ -1 x2)))))

prune2.3s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize139.0ms

Local error

Found 4 expressions with local error:

8.1b
(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.8b
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
3.8b
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
3.8b
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)

rewrite196.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
75.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
73.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
35.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))))))

series846.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
388.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))))))
166.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
148.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
144.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)

simplify1.0m

Counts
429 → 308
Calls
429 calls:
Slowest
996.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))))
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)))
661.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)))
659.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)))
643.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))))

prune9.2s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.1b

regimes706.0ms

Accuracy

0% (0.3b remaining)

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

bsearch30.0ms

end0.0ms

sample8.4s

Algorithm
intervals
Results
6.4s13974×body80valid
747.0ms415×body640valid
376.0ms306×body320valid
369.0ms186×body1280valid
204.0ms168×body160valid