Details

Time bar (total: 2.2m)

sample219.0ms

Algorithm
intervals
Results
168.0ms239×body10240exit
20.0ms197×body80valid
7.0ms28×body320valid
6.0ms16×body640valid
3.0ms17×body160valid

simplify218.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
218.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.8b

localize33.0ms

Local error

Found 4 expressions with local error:

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

rewrite179.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
80.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
58.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
18.0ms
(* wj (exp wj))
16.0ms
(+ (exp wj) (* wj (exp wj)))

series219.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
81.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
56.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
43.0ms
(+ (exp wj) (* wj (exp wj)))
38.0ms
(* wj (exp wj))

simplify38.3s

Counts
207 → 180
Calls
207 calls:
Slowest
620.0ms
(fma (sqrt wj) (sqrt wj) (- (* (/ (cbrt (- (* wj (exp wj)) x)) (+ (exp wj) (* wj (exp wj)))) (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) 1))))
612.0ms
(/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj))))
571.0ms
(fma (- (/ (- (* wj (exp wj)) x) (+ 1 wj))) (/ 1 (exp wj)) (* (/ (- (* wj (exp wj)) x) (+ 1 wj)) (/ 1 (exp wj))))
538.0ms
(fma (- (/ (- (* wj (exp wj)) x) (+ 1 wj))) (/ 1 (exp wj)) (* (/ (- (* wj (exp wj)) x) (+ 1 wj)) (/ 1 (exp wj))))
505.0ms
(fma (- (/ (- (* wj (exp wj)) x) (+ 1 wj))) (/ 1 (exp wj)) (* (/ (- (* wj (exp wj)) x) (+ 1 wj)) (/ 1 (exp wj))))

prune1.8s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.2b

localize17.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

prune23.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.2b

localize46.0ms

Local error

Found 3 expressions with local error:

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

rewrite102.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
51.0ms
(- wj (/ (- wj (/ x (exp wj))) (+ wj 1)))
41.0ms
(/ (- wj (/ x (exp wj))) (+ wj 1))
6.0ms
(/ x (exp wj))

series154.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
57.0ms
(- wj (/ (- wj (/ x (exp wj))) (+ wj 1)))
50.0ms
(/ x (exp wj))
48.0ms
(/ (- wj (/ x (exp wj))) (+ wj 1))

simplify49.0s

Counts
286 → 205
Calls
286 calls:
Slowest
831.0ms
(fma (* (cbrt wj) (cbrt wj)) (cbrt wj) (- (* (/ (cbrt (- wj (/ x (exp wj)))) (cbrt (+ wj 1))) (/ (* (cbrt (- wj (/ x (exp wj)))) (cbrt (- wj (/ x (exp wj))))) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))))))
579.0ms
(fma (sqrt wj) (sqrt wj) (- (* (/ (- wj (/ x (exp wj))) (cbrt (+ wj 1))) (/ 1 (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))))))
468.0ms
(fma 1 wj (- (* (+ (* wj wj) (- (* 1 1) (* wj 1))) (/ (- wj (/ x (exp wj))) (+ (pow wj 3) (pow 1 3))))))
453.0ms
(/ (* (* (- wj (/ x (exp wj))) (- wj (/ x (exp wj)))) (- wj (/ x (exp wj)))) (* (* (+ wj 1) (+ wj 1)) (+ wj 1)))
444.0ms
(fma (- (/ (- wj (/ x (exp wj))) (+ wj 1))) (/ 1 1) (* (/ (- wj (/ x (exp wj))) (+ wj 1)) (/ 1 1)))

prune1.8s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.2b

localize136.0ms

Local error

Found 4 expressions with local error:

5.3b
(fma 1 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))))))
3.9b
(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.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)))

rewrite115.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:
Slowest
69.0ms
(/ (- (* wj (exp wj)) x) (+ (pow (exp wj) 3) (pow (* wj (exp wj)) 3)))
39.0ms
(/ (- (* wj (exp wj)) x) (+ (pow (exp wj) 3) (pow (* wj (exp wj)) 3)))
1.0ms
(fma 1 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))))))
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)))))

series911.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
313.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)))))
311.0ms
(fma 1 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))))))
152.0ms
(/ (- (* wj (exp wj)) x) (+ (pow (exp wj) 3) (pow (* wj (exp wj)) 3)))
135.0ms
(/ (- (* wj (exp wj)) x) (+ (pow (exp wj) 3) (pow (* wj (exp wj)) 3)))

simplify28.3s

Counts
212 → 184
Calls
212 calls:
Slowest
859.0ms
(/ (* (* (- (* wj (exp wj)) x) (- (* wj (exp wj)) x)) (- (* wj (exp wj)) x)) (* (* (+ (pow (exp wj) 3) (pow (* wj (exp wj)) 3)) (+ (pow (exp wj) 3) (pow (* wj (exp wj)) 3))) (+ (pow (exp wj) 3) (pow (* wj (exp wj)) 3))))
411.0ms
(/ (* (* (- (* wj (exp wj)) x) (- (* wj (exp wj)) x)) (- (* wj (exp wj)) x)) (* (* (+ (pow (exp wj) 3) (pow (* wj (exp wj)) 3)) (+ (pow (exp wj) 3) (pow (* wj (exp wj)) 3))) (+ (pow (exp wj) 3) (pow (* wj (exp wj)) 3))))
393.0ms
(/ (sqrt (- (* wj (exp wj)) x)) (+ (pow 1 3) (pow wj 3)))
332.0ms
(/ (sqrt (- (* wj (exp wj)) x)) (+ (* (exp wj) (exp wj)) (- (* (* wj (exp wj)) (* wj (exp wj))) (* (exp wj) (* wj (exp wj))))))
307.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))

prune2.1s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.2b

regimes69.0ms

Accuracy

62.3% (0.7b remaining)

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

bsearch43.0ms

end0.0ms

sample5.7s

Algorithm
intervals
Results
4.6s7530×body10240exit
502.0ms6341×body80valid
214.0ms784×body320valid
119.0ms433×body640valid
89.0ms520×body160valid