Details

Time bar (total: 24.1s)

sample184.0ms

Algorithm
intervals
Results
140.0ms228×body10240exit
16.0ms195×body80valid
7.0ms32×body320valid
4.0ms12×body640valid
3.0ms19×body160valid

simplify1.3s

Counts
1 → 1
Iterations
IterNodes
62001
5655
4194
3104
252
121
08

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.8b

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(* wj (exp wj))
0.0b
(+ (exp wj) (* wj (exp wj)))
0.3b
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
5.3b
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

rewrite135.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:
19.0ms
(* wj (exp wj))
9.0ms
(+ (exp wj) (* wj (exp wj)))
43.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
59.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

series240.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(* wj (exp wj))
52.0ms
(+ (exp wj) (* wj (exp wj)))
51.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
100.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

simplify1.1s

Counts
180 → 180
Iterations
IterNodes
22322
1834
0321

prune1.9s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.5b

localize13.0ms

Local error

Found 1 expressions with local error:

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

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
6×pow1 add-cbrt-cube add-exp-log
3×associate-*r* pow-prod-down prod-exp cbrt-unprod
2×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
1×expm1-log1p-u associate-*l* *-commutative insert-posit16 log1p-expm1-u add-log-exp
Counts
1 → 21
Calls
1 calls:
22.0ms
(* (* x wj) -2)

series31.0ms

Counts
1 → 3
Calls
1 calls:
31.0ms
(* (* x wj) -2)

simplify1.6s

Counts
24 → 24
Iterations
IterNodes
42891
31134
2354
1108
042

prune222.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.5b

localize85.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (- (* wj (exp wj)) x) (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj)))))
0.3b
(/ (- (* wj (exp wj)) x) (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj)))))
2.4b
(fma (- (- (exp wj) (* wj (exp wj)))) (/ (- (* wj (exp wj)) x) (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj))))) (* (- (exp wj) (* wj (exp wj))) (/ (- (* wj (exp wj)) x) (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj)))))))
5.3b
(fma 1 wj (- (* (- (exp wj) (* wj (exp wj))) (/ (- (* wj (exp wj)) x) (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj))))))))

rewrite156.0ms

Algorithm
rewrite-expression-head
Rules
24×times-frac
22×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
8×associate-/r* add-cbrt-cube add-exp-log difference-of-squares
6×associate-/l*
4×expm1-log1p-u pow1 flip3-- associate-/r/ insert-posit16 log1p-expm1-u flip-- add-log-exp associate-/l/
2×cbrt-undiv clear-num frac-2neg div-sub div-exp fma-udef div-inv
Counts
4 → 100
Calls
4 calls:
85.0ms
(/ (- (* wj (exp wj)) x) (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj)))))
68.0ms
(/ (- (* wj (exp wj)) x) (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj)))))
0.0ms
(fma (- (- (exp wj) (* wj (exp wj)))) (/ (- (* wj (exp wj)) x) (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj))))) (* (- (exp wj) (* wj (exp wj))) (/ (- (* wj (exp wj)) x) (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj)))))))
0.0ms
(fma 1 wj (- (* (- (exp wj) (* wj (exp wj))) (/ (- (* wj (exp wj)) x) (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj))))))))

series611.0ms

Counts
4 → 12
Calls
4 calls:
87.0ms
(/ (- (* wj (exp wj)) x) (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj)))))
79.0ms
(/ (- (* wj (exp wj)) x) (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj)))))
219.0ms
(fma (- (- (exp wj) (* wj (exp wj)))) (/ (- (* wj (exp wj)) x) (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj))))) (* (- (exp wj) (* wj (exp wj))) (/ (- (* wj (exp wj)) x) (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj)))))))
225.0ms
(fma 1 wj (- (* (- (exp wj) (* wj (exp wj))) (/ (- (* wj (exp wj)) x) (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj))))))))

simplify3.1s

Counts
112 → 112
Iterations
IterNodes
36899
21246
1333
0134

prune1.6s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.5b

localize99.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt wj)
0.6b
(cbrt wj)
4.1b
(fma (- (/ (- (* wj (exp wj)) x) (+ 1 wj))) (/ 1 (exp wj)) (* (/ (- (* wj (exp wj)) x) (+ 1 wj)) (/ 1 (exp wj))))
14.4b
(fma (* (cbrt wj) (cbrt wj)) (cbrt wj) (- (* (/ (- (* wj (exp wj)) x) (+ 1 wj)) (/ 1 (exp wj)))))

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
6×cbrt-prod add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
2×pow1/3 fma-udef
Counts
4 → 50
Calls
4 calls:
1.0ms
(cbrt wj)
1.0ms
(cbrt wj)
0.0ms
(fma (- (/ (- (* wj (exp wj)) x) (+ 1 wj))) (/ 1 (exp wj)) (* (/ (- (* wj (exp wj)) x) (+ 1 wj)) (/ 1 (exp wj))))
0.0ms
(fma (* (cbrt wj) (cbrt wj)) (cbrt wj) (- (* (/ (- (* wj (exp wj)) x) (+ 1 wj)) (/ 1 (exp wj)))))

series879.0ms

Counts
4 → 12
Calls
4 calls:
281.0ms
(cbrt wj)
282.0ms
(cbrt wj)
147.0ms
(fma (- (/ (- (* wj (exp wj)) x) (+ 1 wj))) (/ 1 (exp wj)) (* (/ (- (* wj (exp wj)) x) (+ 1 wj)) (/ 1 (exp wj))))
169.0ms
(fma (* (cbrt wj) (cbrt wj)) (cbrt wj) (- (* (/ (- (* wj (exp wj)) x) (+ 1 wj)) (/ 1 (exp wj)))))

simplify1.3s

Counts
62 → 62
Iterations
IterNodes
43283
3782
2273
1129
070

prune920.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.5b

regimes170.0ms

Accuracy

0% (1.5b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
210
110
07

end0.0ms

sample8.5s

Algorithm
intervals
Results
6.1s7534×body10240exit
1.0s6243×body80valid
644.0ms495×body640valid
301.0ms817×body320valid
107.0ms532×body160valid