Details

Time bar (total: 2.0m)

sample191.0ms

Algorithm
intervals
Results
136.0ms194×body10240exit
19.0ms195×body80valid
8.0ms16×body640valid
7.0ms25×body320valid
4.0ms20×body160valid

simplify603.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
603.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.6b

localize30.0ms

Local error

Found 4 expressions with local error:

6.2b
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
0.5b
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
0.0b
(+ (exp wj) (* wj (exp wj)))
0.0b
(* wj (exp wj))

rewrite128.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:
Slowest
48.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
40.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
19.0ms
(* wj (exp wj))
16.0ms
(+ (exp wj) (* wj (exp wj)))

series233.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
76.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
65.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
56.0ms
(+ (exp wj) (* wj (exp wj)))
37.0ms
(* wj (exp wj))

simplify37.7s

Counts
207 → 180
Calls
207 calls:
Slowest
612.0ms
(fma (- (/ (- (* wj (exp wj)) x) (+ 1 wj))) (/ 1 (exp wj)) (* (/ (- (* wj (exp wj)) x) (+ 1 wj)) (/ 1 (exp wj))))
573.0ms
(fma 1 wj (- (* (/ (sqrt (- (* wj (exp wj)) x)) (exp wj)) (/ (sqrt (- (* wj (exp wj)) x)) (+ wj 1)))))
568.0ms
(fma (- (/ (- (* wj (exp wj)) x) (+ 1 wj))) (/ 1 (exp wj)) (* (/ (- (* wj (exp wj)) x) (+ 1 wj)) (/ 1 (exp wj))))
499.0ms
(fma 1 wj (- (* (/ (cbrt (- (* wj (exp wj)) x)) (sqrt (+ (exp wj) (* wj (exp wj))))) (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (sqrt (+ (exp wj) (* wj (exp wj))))))))
487.0ms
(/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj))))

prune1.9s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize11.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0
Calls
0 calls:
Slowest

series0.0ms

Counts
0 → 0
Calls
0 calls:
Slowest

simplify0.0ms

Counts
0 → 0
Calls
0 calls:
Slowest

prune9.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize22.0ms

Local error

Found 3 expressions with local error:

6.2b
(- wj (/ (- wj (/ x (exp wj))) (+ 1 wj)))
0.0b
(/ x (exp wj))
0.0b
(/ (- wj (/ x (exp wj))) (+ 1 wj))

rewrite131.0ms

Algorithm
rewrite-expression-head
Rules
177×add-sqr-sqrt
173×*-un-lft-identity
123×times-frac
90×prod-diff
87×add-cube-cbrt
36×difference-of-squares
25×distribute-lft-out
18×distribute-lft-out--
9×associate-/l*
8×associate-/r/
7×associate-/r* add-cbrt-cube
6×add-exp-log
5×div-inv add-log-exp
4×flip3-+ flip-+
3×expm1-log1p-u pow1 fma-neg insert-posit16 log1p-expm1-u
2×cbrt-undiv clear-num frac-2neg flip3-- div-sub div-exp flip-- associate-/l/
1×sub-neg diff-log associate--r-
Counts
3 → 196
Calls
3 calls:
Slowest
58.0ms
(/ (- wj (/ x (exp wj))) (+ 1 wj))
54.0ms
(- wj (/ (- wj (/ x (exp wj))) (+ 1 wj)))
11.0ms
(/ x (exp wj))

series147.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
73.0ms
(- wj (/ (- wj (/ x (exp wj))) (+ 1 wj)))
41.0ms
(/ (- wj (/ x (exp wj))) (+ 1 wj))
32.0ms
(/ x (exp wj))

simplify51.1s

Counts
286 → 205
Calls
286 calls:
Slowest
709.0ms
(fma (* (cbrt wj) (cbrt wj)) (cbrt wj) (- (* (/ (- wj (/ x (exp wj))) (+ 1 wj)) 1)))
611.0ms
(fma 1 wj (- (* (/ (- (sqrt wj) (sqrt (/ x (exp wj)))) (cbrt (+ 1 wj))) (/ (+ (sqrt wj) (sqrt (/ x (exp wj)))) (* (cbrt (+ 1 wj)) (cbrt (+ 1 wj)))))))
547.0ms
(fma (sqrt wj) (sqrt wj) (- (* (+ (* 1 1) (- (* wj wj) (* 1 wj))) (/ (- wj (/ x (exp wj))) (+ (pow 1 3) (pow wj 3))))))
547.0ms
(fma (* (cbrt wj) (cbrt wj)) (cbrt wj) (- (* (+ (* 1 1) (- (* wj wj) (* 1 wj))) (/ (- wj (/ x (exp wj))) (+ (pow 1 3) (pow wj 3))))))
509.0ms
(/ (* (* (- wj (/ x (exp wj))) (- wj (/ x (exp wj)))) (- wj (/ x (exp wj)))) (* (* (+ 1 wj) (+ 1 wj)) (+ 1 wj)))

prune2.1s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.1b

localize78.0ms

Local error

Found 4 expressions with local error:

6.2b
(fma 1 wj (- (* (- (exp wj) (* wj (exp wj))) (/ (- (* wj (exp wj)) x) (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj))))))))
2.9b
(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.5b
(/ (- (* wj (exp wj)) x) (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj)))))
0.5b
(/ (- (* wj (exp wj)) x) (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj)))))

rewrite125.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:
Slowest
77.0ms
(/ (- (* wj (exp wj)) x) (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj)))))
46.0ms
(/ (- (* 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))))))))
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)))))))

series571.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
200.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)))))))
169.0ms
(fma 1 wj (- (* (- (exp wj) (* wj (exp wj))) (/ (- (* wj (exp wj)) x) (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj))))))))
106.0ms
(/ (- (* wj (exp wj)) x) (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj)))))
97.0ms
(/ (- (* wj (exp wj)) x) (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj)))))

simplify16.0s

Counts
86 → 112
Calls
86 calls:
Slowest
568.0ms
(/ (- (* wj (exp wj)) x) (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj)))))
373.0ms
(/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (* (cbrt (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj))))) (cbrt (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj)))))))
335.0ms
(/ (- (* wj (exp wj)) x) (sqrt (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj))))))
335.0ms
(/ (- (* wj (exp wj)) x) (cbrt (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj))))))
327.0ms
(/ 1 (* (cbrt (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj))))) (cbrt (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj)))))))

prune1.5s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.1b

regimes111.0ms

Accuracy

65.9% (0.6b remaining)

Error of 0.9b against oracle of 0.3b and baseline of 2.2b

bsearch69.0ms

end0.0ms

sample8.6s

Algorithm
intervals
Results
5.9s7270×body10240exit
1.1s6253×body80valid
716.0ms471×body640valid
246.0ms844×body320valid
141.0ms512×body160valid