Details

Time bar (total: 18.4s)

sample129.0ms

Algorithm
intervals
Results
63.0ms204×body10240exit
34.0ms205×body80valid
4.0ms26×body320valid
3.0ms15×body640valid
1.0ms12×body160valid

simplify967.0ms

Counts
1 → 1
Iterations
IterNodes
done5000
4419
3115
252
121
08

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.6b

localize23.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))))
4.0b
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

rewrite158.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 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 → 164
Calls
4 calls:
15.0ms
(* wj (exp wj))
7.0ms
(+ (exp wj) (* wj (exp wj)))
42.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
82.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

series239.0ms

Counts
4 → 12
Calls
4 calls:
53.0ms
(* wj (exp wj))
60.0ms
(+ (exp wj) (* wj (exp wj)))
50.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
75.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

simplify2.4s

Counts
176 → 176
Iterations
IterNodes
done5000
23751
1852
0317

prune1.2s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.2b

localize13.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune26.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.2b

localize83.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt wj)
0.6b
(cbrt wj)
3.7b
(fma (- (/ (- (* wj (exp wj)) x) (+ 1 wj))) (/ 1 (exp wj)) (* (/ (- (* wj (exp wj)) x) (+ 1 wj)) (/ 1 (exp wj))))
12.3b
(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 log1p-expm1-u add-log-exp
2×pow1/3 fma-udef
Counts
4 → 46
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)))))

series857.0ms

Counts
4 → 12
Calls
4 calls:
254.0ms
(cbrt wj)
280.0ms
(cbrt wj)
144.0ms
(fma (- (/ (- (* wj (exp wj)) x) (+ 1 wj))) (/ 1 (exp wj)) (* (/ (- (* wj (exp wj)) x) (+ 1 wj)) (/ 1 (exp wj))))
178.0ms
(fma (* (cbrt wj) (cbrt wj)) (cbrt wj) (- (* (/ (- (* wj (exp wj)) x) (+ 1 wj)) (/ 1 (exp wj)))))

simplify1.4s

Counts
58 → 58
Iterations
IterNodes
done5001
31567
2348
1126
067

prune435.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.2b

localize27.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma (* wj wj) 3/2 (fma 2 wj 1))
0.0b
(* wj (exp wj))
0.0b
(/ (- (* wj (exp wj)) x) (fma (* wj wj) 3/2 (fma 2 wj 1)))
4.0b
(- wj (/ (- (* wj (exp wj)) x) (fma (* wj wj) 3/2 (fma 2 wj 1))))

rewrite94.0ms

Algorithm
rewrite-expression-head
Rules
56×add-sqr-sqrt
51×*-un-lft-identity
49×add-cube-cbrt
39×prod-diff
37×times-frac
8×add-cbrt-cube
7×add-exp-log
6×pow1 add-log-exp
4×expm1-log1p-u log1p-expm1-u div-inv
3×associate-/r* fma-neg associate-*r* associate-*l* associate-/l*
2×flip3-- div-sub flip-- difference-of-squares associate-/l/
1×cbrt-undiv clear-num sub-neg frac-2neg diff-log div-exp pow-prod-down prod-exp *-commutative cbrt-unprod fma-udef distribute-lft-out-- associate--r- unswap-sqr
Counts
4 → 122
Calls
4 calls:
0.0ms
(fma (* wj wj) 3/2 (fma 2 wj 1))
18.0ms
(* wj (exp wj))
28.0ms
(/ (- (* wj (exp wj)) x) (fma (* wj wj) 3/2 (fma 2 wj 1)))
39.0ms
(- wj (/ (- (* wj (exp wj)) x) (fma (* wj wj) 3/2 (fma 2 wj 1))))

series268.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(fma (* wj wj) 3/2 (fma 2 wj 1))
43.0ms
(* wj (exp wj))
70.0ms
(/ (- (* wj (exp wj)) x) (fma (* wj wj) 3/2 (fma 2 wj 1)))
122.0ms
(- wj (/ (- (* wj (exp wj)) x) (fma (* wj wj) 3/2 (fma 2 wj 1))))

simplify2.4s

Counts
134 → 134
Iterations
IterNodes
done5000
22888
1622
0241

prune1.0s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.2b

regimes227.0ms

Accuracy

0% (1.8b remaining)

Error of 2.3b against oracle of 0.5b and baseline of 2.3b

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done7
17
06

end0.0ms

sample6.3s

Algorithm
intervals
Results
5.0s7837×body10240exit
390.0ms6310×body80valid
136.0ms754×body320valid
127.0ms476×body640valid
61.0ms521×body160valid