Details

Time bar (total: 34.6s)

sample231.0ms

Algorithm
intervals
Results
182.0ms241×body10240exit
19.0ms203×body80valid
7.0ms16×body640valid
7.0ms23×body320valid
3.0ms14×body160valid

simplify173.0ms

Calls
1 calls:
Slowest
173.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.3b

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite535.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
24×*-un-lft-identity
18×add-cube-cbrt
16×times-frac
10×add-cbrt-cube
8×pow1 add-exp-log
6×associate-*r* associate-*l* add-log-exp
5×associate-/r*
4×distribute-rgt-out distribute-rgt1-in insert-posit16
3×associate-/l*
2×flip3-- div-sub pow-prod-down prod-exp associate-/r/ *-commutative cbrt-unprod flip-- difference-of-squares unswap-sqr associate-/l/
1×cbrt-undiv clear-num sub-neg frac-2neg flip3-+ diff-log div-exp flip-+ div-inv distribute-lft-out-- associate--r-
Calls
4 calls:
Slowest
478.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
31.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
15.0ms
(* wj (exp wj))
8.0ms
(* wj (exp wj))

series213.0ms

Calls
4 calls:
Slowest
72.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
59.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
49.0ms
(* wj (exp wj))
32.0ms
(* wj (exp wj))

simplify6.3s

Calls
83 calls:
Slowest
622.0ms
(/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj))))
464.0ms
(+ (sqrt wj) (sqrt (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))))
359.0ms
(- (pow (* wj (exp wj)) 3) (pow x 3))
358.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
357.0ms
(* (* (* wj wj) wj) (* (* (exp wj) (exp wj)) (exp wj)))

prune985.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.4b

localize21.0ms

Local error

Found 2 expressions with local error:

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

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt
4×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt add-log-exp
3×associate-*r* associate-*l*
2×flip3-+ associate-*l/ flip-+ insert-posit16
1×+-commutative sum-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Calls
2 calls:
Slowest
19.0ms
(* (+ wj (* -2 x)) wj)
8.0ms
(+ x (* (+ wj (* -2 x)) wj))

series120.0ms

Calls
2 calls:
Slowest
69.0ms
(* (+ wj (* -2 x)) wj)
50.0ms
(+ x (* (+ wj (* -2 x)) wj))

simplify1.6s

Calls
18 calls:
Slowest
331.0ms
(* (exp x) (exp (* (+ wj (* -2 x)) wj)))
198.0ms
(* (+ (pow wj 3) (pow (* -2 x) 3)) wj)
160.0ms
(* (* (* (+ wj (* -2 x)) (+ wj (* -2 x))) (+ wj (* -2 x))) (* (* wj wj) wj))
147.0ms
(- (+ x (pow wj 2)) (* 2 (* x wj)))
130.0ms
(- (+ x (pow wj 2)) (* 2 (* x wj)))

prune320.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.4b

localize18.0ms

Local error

Found 4 expressions with local error:

10.8b
(cbrt (* (+ wj (* -2 x)) wj))
10.8b
(cbrt (* (+ wj (* -2 x)) wj))
10.8b
(cbrt (* (+ wj (* -2 x)) wj))
0.4b
(* (cbrt (* (+ wj (* -2 x)) wj)) (cbrt (* (+ wj (* -2 x)) wj)))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
20×associate-*l/
18×cbrt-div
11×pow1
10×add-sqr-sqrt
9×flip3-+ pow1/3 flip-+
8×*-un-lft-identity add-cube-cbrt
7×cbrt-prod
6×add-exp-log
4×frac-times add-cbrt-cube swap-sqr associate-*r* associate-*l* insert-posit16 add-log-exp
2×pow-prod-down associate-*r/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod unswap-sqr
Calls
4 calls:
Slowest
31.0ms
(* (cbrt (* (+ wj (* -2 x)) wj)) (cbrt (* (+ wj (* -2 x)) wj)))
4.0ms
(cbrt (* (+ wj (* -2 x)) wj))
4.0ms
(cbrt (* (+ wj (* -2 x)) wj))
4.0ms
(cbrt (* (+ wj (* -2 x)) wj))

series1.6s

Calls
4 calls:
Slowest
407.0ms
(cbrt (* (+ wj (* -2 x)) wj))
393.0ms
(cbrt (* (+ wj (* -2 x)) wj))
389.0ms
(cbrt (* (+ wj (* -2 x)) wj))
381.0ms
(* (cbrt (* (+ wj (* -2 x)) wj)) (cbrt (* (+ wj (* -2 x)) wj)))

simplify7.0s

Calls
63 calls:
Slowest
380.0ms
(* (cbrt (* (- (* wj wj) (* (* -2 x) (* -2 x))) wj)) (cbrt (* (+ wj (* -2 x)) wj)))
352.0ms
(* (cbrt -1) (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 wj)))))))
351.0ms
(* (cbrt (* (+ (pow wj 3) (pow (* -2 x) 3)) wj)) (cbrt (* (- (* wj wj) (* (* -2 x) (* -2 x))) wj)))
350.0ms
(* (cbrt (* (- (* wj wj) (* (* -2 x) (* -2 x))) wj)) (cbrt (* (+ (pow wj 3) (pow (* -2 x) 3)) wj)))
334.0ms
(exp (* 1/3 (+ (* 2 (log wj)) (+ (log 4) (* 2 (log x))))))

prune974.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.4b

localize40.0ms

Local error

Found 4 expressions with local error:

10.8b
(cbrt (* (+ wj (* -2 x)) wj))
10.8b
(cbrt (* (+ wj (* -2 x)) wj))
10.8b
(cbrt (* (+ wj (* -2 x)) wj))
10.8b
(cbrt (* (+ wj (* -2 x)) wj))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
8×cbrt-div associate-*l/
4×cbrt-prod add-sqr-sqrt pow1 *-un-lft-identity flip3-+ add-cbrt-cube pow1/3 add-exp-log add-cube-cbrt flip-+ insert-posit16 add-log-exp
Calls
4 calls:
Slowest
9.0ms
(cbrt (* (+ wj (* -2 x)) wj))
9.0ms
(cbrt (* (+ wj (* -2 x)) wj))
9.0ms
(cbrt (* (+ wj (* -2 x)) wj))
9.0ms
(cbrt (* (+ wj (* -2 x)) wj))

series1.5s

Calls
4 calls:
Slowest
423.0ms
(cbrt (* (+ wj (* -2 x)) wj))
374.0ms
(cbrt (* (+ wj (* -2 x)) wj))
357.0ms
(cbrt (* (+ wj (* -2 x)) wj))
339.0ms
(cbrt (* (+ wj (* -2 x)) wj))

simplify3.3s

Calls
24 calls:
Slowest
350.0ms
(* (cbrt -1) (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 wj)))))))
267.0ms
(* (cbrt -1) (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 wj)))))))
239.0ms
(* (cbrt -1) (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 wj)))))))
225.0ms
(exp (* 1/3 (+ (log wj) (+ (log -2) (log x)))))
222.0ms
(* (cbrt -1) (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 wj)))))))

prune781.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.4b

regimes123.0ms

Accuracy

65.1% (0.7b remaining)

Error of 1.0b against oracle of 0.4b and baseline of 2.3b

bsearch62.0ms

end0.0ms

sample8.6s

Algorithm
intervals
Results
6.5s7608×body10240exit
1.1s6302×body80valid
297.0ms470×body640valid
258.0ms739×body320valid
104.0ms577×body160valid