Details

Time bar (total: 30.9s)

sample219.0ms

Algorithm
intervals
Results
172.0ms235×body10240exit
17.0ms201×body80valid
7.0ms16×body640valid
5.0ms22×body320valid
3.0ms19×body160valid

simplify181.0ms

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

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.8b

localize33.0ms

Local error

Found 4 expressions with local error:

5.2b
(- 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))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
20×*-un-lft-identity
15×add-sqr-sqrt times-frac add-cube-cbrt
6×add-cbrt-cube add-exp-log add-log-exp
5×associate-/r* distribute-rgt-out distribute-rgt1-in
4×pow1 insert-posit16
3×associate-*r* associate-/l*
2×flip3-+ flip3-- div-sub associate-/r/ flip-+ flip-- associate-/l/
1×cbrt-undiv +-commutative clear-num sum-log sub-neg frac-2neg div-exp *-commutative div-inv associate--r-
Calls
4 calls:
Slowest
18.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
4.0ms
(+ (exp wj) (* wj (exp wj)))
1.0ms
(* wj (exp wj))
1.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

series163.0ms

Calls
4 calls:
Slowest
55.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
50.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
31.0ms
(+ (exp wj) (* wj (exp wj)))
27.0ms
(* wj (exp wj))

simplify3.5s

Calls
64 calls:
Slowest
500.0ms
(/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj))))
339.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
226.0ms
(+ (* (exp wj) (exp wj)) (- (* (* wj (exp wj)) (* wj (exp wj))) (* (exp wj) (* wj (exp wj)))))
183.0ms
(/ (* (* (- (* wj (exp wj)) x) (- (* wj (exp wj)) x)) (- (* wj (exp wj)) x)) (* (* (+ (exp wj) (* wj (exp wj))) (+ (exp wj) (* wj (exp wj)))) (+ (exp wj) (* wj (exp wj)))))
161.0ms
(- (* (* wj (exp wj)) (* wj (exp wj))) (* x x))

prune754.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.3b

localize20.0ms

Local error

Found 2 expressions with local error:

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

rewrite6.0ms

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

series48.0ms

Calls
2 calls:
Slowest
26.0ms
(* (+ wj (* -2 x)) wj)
22.0ms
(+ x (* (+ wj (* -2 x)) wj))

simplify1.1s

Calls
10 calls:
Slowest
366.0ms
(* (- (* wj wj) (* (* -2 x) (* -2 x))) wj)
206.0ms
(* (+ (pow wj 3) (pow (* -2 x) 3)) wj)
125.0ms
(- (+ x (pow wj 2)) (* 2 (* x wj)))
111.0ms
(- (+ x (pow wj 2)) (* 2 (* x wj)))
85.0ms
(- (+ (pow wj 2) x) (* 2 (* x wj)))

prune257.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.3b

localize27.0ms

Local error

Found 4 expressions with local error:

11.6b
(cbrt (* (+ wj (* -2 x)) wj))
11.6b
(cbrt (* (+ wj (* -2 x)) wj))
11.6b
(cbrt (* (+ wj (* -2 x)) wj))
0.5b
(* (cbrt (* (+ wj (* -2 x)) wj)) (cbrt (* (+ wj (* -2 x)) wj)))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
20×associate-*l/
18×cbrt-div
9×pow1 flip3-+ flip-+
7×pow1/3
6×add-sqr-sqrt *-un-lft-identity add-exp-log add-cube-cbrt
5×cbrt-prod
4×frac-times add-cbrt-cube associate-*r* associate-*l* insert-posit16 add-log-exp
2×pow-prod-down associate-*r/ pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Calls
4 calls:
Slowest
22.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.1s

Calls
4 calls:
Slowest
290.0ms
(cbrt (* (+ wj (* -2 x)) wj))
287.0ms
(* (cbrt (* (+ wj (* -2 x)) wj)) (cbrt (* (+ wj (* -2 x)) wj)))
268.0ms
(cbrt (* (+ wj (* -2 x)) wj))
262.0ms
(cbrt (* (+ wj (* -2 x)) wj))

simplify6.8s

Calls
49 calls:
Slowest
689.0ms
(* (cbrt (* (- (* wj wj) (* (* -2 x) (* -2 x))) wj)) (cbrt (* (+ wj (* -2 x)) wj)))
463.0ms
(* (cbrt (* (- (* wj wj) (* (* -2 x) (* -2 x))) wj)) (cbrt (* (- (* wj wj) (* (* -2 x) (* -2 x))) wj)))
431.0ms
(* (cbrt (* (+ (pow wj 3) (pow (* -2 x) 3)) wj)) (cbrt (* (+ (pow wj 3) (pow (* -2 x) 3)) wj)))
402.0ms
(cbrt (* (- (* wj wj) (* (* -2 x) (* -2 x))) wj))
342.0ms
(cbrt (* (- (* wj wj) (* (* -2 x) (* -2 x))) wj))

prune977.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.3b

localize21.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (+ wj (* -2 x)))
0.6b
(cbrt (+ wj (* -2 x)))
0.6b
(cbrt (+ wj (* -2 x)))
0.5b
(* (cbrt (+ wj (* -2 x))) (cbrt (+ wj (* -2 x))))

rewrite18.0ms

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

series663.0ms

Calls
4 calls:
Slowest
193.0ms
(cbrt (+ wj (* -2 x)))
188.0ms
(cbrt (+ wj (* -2 x)))
172.0ms
(cbrt (+ wj (* -2 x)))
109.0ms
(* (cbrt (+ wj (* -2 x))) (cbrt (+ wj (* -2 x))))

simplify5.8s

Calls
59 calls:
Slowest
375.0ms
(* (cbrt (- (* wj wj) (* (* -2 x) (* -2 x)))) (cbrt (+ (pow wj 3) (pow (* -2 x) 3))))
340.0ms
(* (cbrt (+ (pow wj 3) (pow (* -2 x) 3))) (cbrt (- (* wj wj) (* (* -2 x) (* -2 x)))))
301.0ms
(exp (* 1/3 (- (log -1) (log (/ -1 wj)))))
292.0ms
(- (exp (* 1/3 (+ (log -2) (log x)))) (+ (* 1/6 (* (exp (* 1/3 (- (log -2) (* 2 (log x))))) wj)) (* 1/36 (* (exp (* 1/3 (- (log -2) (* 5 (log x))))) (pow wj 2)))))
289.0ms
(cbrt (- (* wj wj) (* (* -2 x) (* -2 x))))

prune994.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.3b

regimes217.0ms

Accuracy

80.5% (0.4b remaining)

Error of 0.7b against oracle of 0.3b and baseline of 2.3b

bsearch11.0ms

end0.0ms

sample7.9s

Algorithm
intervals
Results
6.5s7639×body10240exit
527.0ms6291×body80valid
290.0ms832×body320valid
207.0ms443×body640valid
88.0ms524×body160valid