Details

Time bar (total: 35.9s)

sample208.0ms

Algorithm
intervals
Results
155.0ms226×body10240exit
19.0ms201×body80valid
9.0ms30×body320valid
5.0ms11×body640valid
3.0ms17×body160valid

simplify1.8s

Counts
1 → 1
Iterations
IterNodes
62372
5596
4193
3102
250
121
08

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.3b

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(* wj (exp wj))
0.0b
(+ (exp wj) (* wj (exp wj)))
0.7b
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
4.7b
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

rewrite115.0ms

Algorithm
rewrite-expression-head
Rules
82×*-un-lft-identity
73×add-sqr-sqrt
66×add-cube-cbrt
63×prod-diff
61×times-frac
14×distribute-rgt-out distribute-rgt1-in
8×add-cbrt-cube associate-/r/ add-log-exp
7×add-exp-log
6×pow1
5×associate-/r* flip3-+ flip-+
4×expm1-log1p-u insert-posit16 log1p-expm1-u div-inv
3×fma-def fma-neg associate-*r* associate-*l* associate-/l*
2×flip3-- div-sub flip-- difference-of-squares associate-/l/
1×cbrt-undiv +-commutative clear-num sum-log sub-neg frac-2neg diff-log div-exp pow-prod-down prod-exp *-commutative cbrt-unprod distribute-lft-out-- associate--r- unswap-sqr
Counts
4 → 168
Calls
4 calls:
9.0ms
(* wj (exp wj))
13.0ms
(+ (exp wj) (* wj (exp wj)))
40.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
51.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

series265.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(* wj (exp wj))
57.0ms
(+ (exp wj) (* wj (exp wj)))
62.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
97.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

simplify1.2s

Counts
180 → 180
Iterations
IterNodes
22326
1832
0321

prune2.2s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.5b

localize14.0ms

Local error

Found 1 expressions with local error:

0.0b
(- x (* (+ wj wj) x))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
4×*-un-lft-identity
3×add-sqr-sqrt fma-neg prod-diff add-cube-cbrt add-log-exp
1×expm1-log1p-u pow1 sub-neg flip3-- add-cbrt-cube distribute-rgt-out-- diff-log add-exp-log insert-posit16 log1p-expm1-u flip--
Counts
1 → 22
Calls
1 calls:
5.0ms
(- x (* (+ wj wj) x))

series52.0ms

Counts
1 → 3
Calls
1 calls:
52.0ms
(- x (* (+ wj wj) x))

simplify5.4s

Counts
25 → 25
Iterations
IterNodes
47121
31478
2339
1110
046

prune258.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.5b

localize85.0ms

Local error

Found 4 expressions with local error:

0.8b
(/ (- (* wj (exp wj)) x) (+ (pow (exp wj) 3) (pow (* wj (exp wj)) 3)))
0.8b
(/ (- (* wj (exp wj)) x) (+ (pow (exp wj) 3) (pow (* wj (exp wj)) 3)))
4.6b
(fma (- (+ (* (exp wj) (exp wj)) (- (* (* wj (exp wj)) (* wj (exp wj))) (* (exp wj) (* wj (exp wj)))))) (/ (- (* wj (exp wj)) x) (+ (pow (exp wj) 3) (pow (* wj (exp wj)) 3))) (* (+ (* (exp wj) (exp wj)) (- (* (* wj (exp wj)) (* wj (exp wj))) (* (exp wj) (* wj (exp wj))))) (/ (- (* wj (exp wj)) x) (+ (pow (exp wj) 3) (pow (* wj (exp wj)) 3)))))
13.4b
(fma (* (cbrt wj) (cbrt wj)) (cbrt wj) (- (* (+ (* (exp wj) (exp wj)) (- (* (* wj (exp wj)) (* wj (exp wj))) (* (exp wj) (* wj (exp wj))))) (/ (- (* wj (exp wj)) x) (+ (pow (exp wj) 3) (pow (* wj (exp wj)) 3))))))

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
104×*-un-lft-identity
78×times-frac
48×unpow-prod-down distribute-rgt-out cube-prod
40×add-sqr-sqrt add-cube-cbrt
26×associate-/r*
16×distribute-rgt1-in
8×add-cbrt-cube add-exp-log sum-cubes distribute-lft-out
6×associate-/l*
4×expm1-log1p-u pow1 associate-/r/ insert-posit16 log1p-expm1-u add-log-exp associate-/l/
2×cbrt-undiv clear-num frac-2neg flip3-+ flip3-- div-sub div-exp flip-+ fma-udef div-inv flip--
Counts
4 → 172
Calls
4 calls:
42.0ms
(/ (- (* wj (exp wj)) x) (+ (pow (exp wj) 3) (pow (* wj (exp wj)) 3)))
42.0ms
(/ (- (* wj (exp wj)) x) (+ (pow (exp wj) 3) (pow (* wj (exp wj)) 3)))
0.0ms
(fma (- (+ (* (exp wj) (exp wj)) (- (* (* wj (exp wj)) (* wj (exp wj))) (* (exp wj) (* wj (exp wj)))))) (/ (- (* wj (exp wj)) x) (+ (pow (exp wj) 3) (pow (* wj (exp wj)) 3))) (* (+ (* (exp wj) (exp wj)) (- (* (* wj (exp wj)) (* wj (exp wj))) (* (exp wj) (* wj (exp wj))))) (/ (- (* wj (exp wj)) x) (+ (pow (exp wj) 3) (pow (* wj (exp wj)) 3)))))
0.0ms
(fma (* (cbrt wj) (cbrt wj)) (cbrt wj) (- (* (+ (* (exp wj) (exp wj)) (- (* (* wj (exp wj)) (* wj (exp wj))) (* (exp wj) (* wj (exp wj))))) (/ (- (* wj (exp wj)) x) (+ (pow (exp wj) 3) (pow (* wj (exp wj)) 3))))))

series1.0s

Counts
4 → 12
Calls
4 calls:
159.0ms
(/ (- (* wj (exp wj)) x) (+ (pow (exp wj) 3) (pow (* wj (exp wj)) 3)))
140.0ms
(/ (- (* wj (exp wj)) x) (+ (pow (exp wj) 3) (pow (* wj (exp wj)) 3)))
329.0ms
(fma (- (+ (* (exp wj) (exp wj)) (- (* (* wj (exp wj)) (* wj (exp wj))) (* (exp wj) (* wj (exp wj)))))) (/ (- (* wj (exp wj)) x) (+ (pow (exp wj) 3) (pow (* wj (exp wj)) 3))) (* (+ (* (exp wj) (exp wj)) (- (* (* wj (exp wj)) (* wj (exp wj))) (* (exp wj) (* wj (exp wj))))) (/ (- (* wj (exp wj)) x) (+ (pow (exp wj) 3) (pow (* wj (exp wj)) 3)))))
409.0ms
(fma (* (cbrt wj) (cbrt wj)) (cbrt wj) (- (* (+ (* (exp wj) (exp wj)) (- (* (* wj (exp wj)) (* wj (exp wj))) (* (exp wj) (* wj (exp wj))))) (/ (- (* wj (exp wj)) x) (+ (pow (exp wj) 3) (pow (* wj (exp wj)) 3))))))

simplify4.9s

Counts
184 → 184
Iterations
IterNodes
38194
21480
1396
0162

prune3.8s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.5b

localize112.0ms

Local error

Found 4 expressions with local error:

0.8b
(/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj))))))
0.8b
(/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj))))))
11.4b
(fma 1 wj (- (* (/ (cbrt (- (* wj (exp wj)) x)) (cbrt (+ (exp wj) (* wj (exp wj))))) (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj)))))))))
61.8b
(fma (- (/ (cbrt (- (* wj (exp wj)) x)) (cbrt (+ (exp wj) (* wj (exp wj)))))) (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj)))))) (* (/ (cbrt (- (* wj (exp wj)) x)) (cbrt (+ (exp wj) (* wj (exp wj))))) (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj))))))))

rewrite107.0ms

Algorithm
rewrite-expression-head
Rules
48×cbrt-div
28×add-exp-log
16×frac-times associate-/r/ associate-/l/
12×flip3-+ flip3-- add-cbrt-cube flip-+ flip--
8×cbrt-undiv div-exp associate-*l/ prod-exp associate-*r/ cbrt-unprod
4×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cube-cbrt insert-posit16 log1p-expm1-u add-log-exp
2×clear-num associate-/r* frac-2neg times-frac fma-udef div-inv associate-/l*
Counts
4 → 102
Calls
4 calls:
49.0ms
(/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj))))))
56.0ms
(/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj))))))
0.0ms
(fma 1 wj (- (* (/ (cbrt (- (* wj (exp wj)) x)) (cbrt (+ (exp wj) (* wj (exp wj))))) (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj)))))))))
1.0ms
(fma (- (/ (cbrt (- (* wj (exp wj)) x)) (cbrt (+ (exp wj) (* wj (exp wj)))))) (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj)))))) (* (/ (cbrt (- (* wj (exp wj)) x)) (cbrt (+ (exp wj) (* wj (exp wj))))) (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj))))))))

series788.0ms

Counts
4 → 12
Calls
4 calls:
163.0ms
(/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj))))))
174.0ms
(/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj))))))
88.0ms
(fma 1 wj (- (* (/ (cbrt (- (* wj (exp wj)) x)) (cbrt (+ (exp wj) (* wj (exp wj))))) (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj)))))))))
363.0ms
(fma (- (/ (cbrt (- (* wj (exp wj)) x)) (cbrt (+ (exp wj) (* wj (exp wj)))))) (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj)))))) (* (/ (cbrt (- (* wj (exp wj)) x)) (cbrt (+ (exp wj) (* wj (exp wj))))) (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj))))))))

simplify2.0s

Counts
114 → 114
Iterations
IterNodes
34591
21309
1438
0159

prune2.6s

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0.5b

regimes92.0ms

Accuracy

0% (1.7b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
27
17
06

end0.0ms

sample8.7s

Algorithm
intervals
Results
6.9s7610×body10240exit
771.0ms6294×body80valid
290.0ms793×body320valid
192.0ms452×body640valid
105.0ms537×body160valid