Details

Time bar (total: 1.5m)

sample197.0ms

Algorithm
intervals
Results
101.0ms256×body80valid
20.0ms256×pre80true

simplify136.0ms

Calls
1 calls:
Slowest
136.0ms
(+ (* (* (/ 1 6) (pow (* -2 (log u1)) 0.5)) (cos (* (* 2 PI) u2))) 0.5)

prune25.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.4b

localize39.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (pow (* -2 (log u1)) 0.5) (* (cos (* (* PI u2) 2)) 1/6))
0.2b
(* PI u2)
0.1b
(pow (* -2 (log u1)) 0.5)
0.0b
(+ 0.5 (* (pow (* -2 (log u1)) 0.5) (* (cos (* (* PI u2) 2)) 1/6)))

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
10×add-exp-log
6×add-cbrt-cube
5×add-sqr-sqrt pow1 *-un-lft-identity add-cube-cbrt
4×associate-*l* insert-posit16 add-log-exp
3×prod-exp
2×pow-to-exp unpow-prod-down pow-exp *-commutative
1×+-commutative pow-pow flip3-+ associate-*r* cbrt-unprod flip-+
Calls
4 calls:
Slowest
47.0ms
(* (pow (* -2 (log u1)) 0.5) (* (cos (* (* PI u2) 2)) 1/6))
14.0ms
(+ 0.5 (* (pow (* -2 (log u1)) 0.5) (* (cos (* (* PI u2) 2)) 1/6)))
2.0ms
(pow (* -2 (log u1)) 0.5)
0.0ms
(* PI u2)

series1.3s

Calls
4 calls:
Slowest
484.0ms
(+ 0.5 (* (pow (* -2 (log u1)) 0.5) (* (cos (* (* PI u2) 2)) 1/6)))
437.0ms
(* (pow (* -2 (log u1)) 0.5) (* (cos (* (* PI u2) 2)) 1/6))
350.0ms
(pow (* -2 (log u1)) 0.5)
41.0ms
(* PI u2)

simplify2.0s

Calls
22 calls:
Slowest
339.0ms
(- (+ 0.5 (* 1/6 (pow (* (pow -2 1.0) (pow (log u1) 1.0)) 0.5))) (* 1/3 (* (* (pow u2 2) (pow PI 2)) (pow (* (pow -2 1.0) (pow (log u1) 1.0)) 0.5))))
293.0ms
(* (* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5)) (* (* (* (cos (* (* PI u2) 2)) 1/6) (* (cos (* (* PI u2) 2)) 1/6)) (* (cos (* (* PI u2) 2)) 1/6)))
253.0ms
(- (* 1/6 (pow (* (pow -2 1.0) (pow (log u1) 1.0)) 0.5)) (* 1/3 (* (* (pow u2 2) (pow PI 2)) (pow (* (pow -2 1.0) (pow (log u1) 1.0)) 0.5))))
171.0ms
(+ (* 1/6 (* (pow (* (pow (- (log -1) (log (/ -1 u1))) 1.0) (pow -2 1.0)) 0.5) (cos (* 2 (* u2 PI))))) 0.5)
155.0ms
(* 1/6 (* (pow (* (pow (- (log -1) (log (/ -1 u1))) 1.0) (pow -2 1.0)) 0.5) (cos (* 2 (* u2 PI)))))

prune764.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (* (pow (* -2 (log u1)) 0.5) (cos (* (* PI u2) 2))) 1/6)
0.2b
(* PI u2)
0.1b
(pow (* -2 (log u1)) 0.5)
0.0b
(+ 0.5 (* (* (pow (* -2 (log u1)) 0.5) (cos (* (* PI u2) 2))) 1/6))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
5×pow1 add-exp-log
4×add-sqr-sqrt *-un-lft-identity add-cbrt-cube add-cube-cbrt insert-posit16 add-log-exp
2×*-commutative
1×pow-to-exp +-commutative unpow-prod-down pow-pow flip3-+ associate-*l* pow-exp flip-+
Calls
4 calls:
Slowest
54.0ms
(* (* (pow (* -2 (log u1)) 0.5) (cos (* (* PI u2) 2))) 1/6)
7.0ms
(+ 0.5 (* (* (pow (* -2 (log u1)) 0.5) (cos (* (* PI u2) 2))) 1/6))
3.0ms
(pow (* -2 (log u1)) 0.5)
0.0ms
(* PI u2)

series1.4s

Calls
4 calls:
Slowest
534.0ms
(+ 0.5 (* (* (pow (* -2 (log u1)) 0.5) (cos (* (* PI u2) 2))) 1/6))
466.0ms
(* (* (pow (* -2 (log u1)) 0.5) (cos (* (* PI u2) 2))) 1/6)
328.0ms
(pow (* -2 (log u1)) 0.5)
39.0ms
(* PI u2)

simplify1.4s

Calls
16 calls:
Slowest
364.0ms
(- (+ 0.5 (* 1/6 (pow (* (pow -2 1.0) (pow (log u1) 1.0)) 0.5))) (* 1/3 (* (* (pow u2 2) (pow PI 2)) (pow (* (pow -2 1.0) (pow (log u1) 1.0)) 0.5))))
293.0ms
(- (* 1/6 (pow (* (pow -2 1.0) (pow (log u1) 1.0)) 0.5)) (* 1/3 (* (* (pow u2 2) (pow PI 2)) (pow (* (pow -2 1.0) (pow (log u1) 1.0)) 0.5))))
187.0ms
(pow (* -2 (- (log -1) (log (/ -1 u1)))) 0.5)
143.0ms
(+ (* 1/6 (* (pow (* (pow (- (log -1) (log (/ -1 u1))) 1.0) (pow -2 1.0)) 0.5) (cos (* 2 (* u2 PI))))) 0.5)
126.0ms
(* 1/6 (* (pow (* (pow (- (log -1) (log (/ -1 u1))) 1.0) (pow -2 1.0)) 0.5) (cos (* 2 (* u2 PI)))))

prune819.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

localize46.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5))
0.5b
(cbrt (* (* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5)) (* (* (* (cos (* (* PI u2) 2)) 1/6) (* (cos (* (* PI u2) 2)) 1/6)) (* (cos (* (* PI u2) 2)) 1/6))))
0.4b
(* (* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5)) (* (* (* (cos (* (* PI u2) 2)) 1/6) (* (cos (* (* PI u2) 2)) 1/6)) (* (cos (* (* PI u2) 2)) 1/6)))
0.4b
(* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5))

rewrite669.0ms

Algorithm
rewrite-expression-head
Rules
441×add-exp-log
423×prod-exp
118×pow-to-exp pow-exp
47×add-cbrt-cube
31×cbrt-unprod
14×pow1
13×pow-prod-down
9×associate-*r*
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×pow2 associate-*l*
5×pow3
4×pow-plus pow-prod-up insert-posit16 add-log-exp
3×unpow-prod-down *-commutative
1×cbrt-prod pow1/3 rem-cbrt-cube
Calls
4 calls:
Slowest
378.0ms
(* (* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5)) (* (* (* (cos (* (* PI u2) 2)) 1/6) (* (cos (* (* PI u2) 2)) 1/6)) (* (cos (* (* PI u2) 2)) 1/6)))
244.0ms
(cbrt (* (* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5)) (* (* (* (cos (* (* PI u2) 2)) 1/6) (* (cos (* (* PI u2) 2)) 1/6)) (* (cos (* (* PI u2) 2)) 1/6))))
20.0ms
(* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5))
16.0ms
(* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5))

series2.8s

Calls
4 calls:
Slowest
870.0ms
(* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5))
860.0ms
(* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5))
524.0ms
(cbrt (* (* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5)) (* (* (* (cos (* (* PI u2) 2)) 1/6) (* (cos (* (* PI u2) 2)) 1/6)) (* (cos (* (* PI u2) 2)) 1/6))))
520.0ms
(* (* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5)) (* (* (* (cos (* (* PI u2) 2)) 1/6) (* (cos (* (* PI u2) 2)) 1/6)) (* (cos (* (* PI u2) 2)) 1/6)))

simplify1.1m

Calls
188 calls:
Slowest
931.0ms
(+ (+ (+ (log (pow (* -2 (log u1)) 0.5)) (* (log (* -2 (log u1))) 0.5)) (* (log (* -2 (log u1))) 0.5)) (+ (log (* (* (cos (* (* PI u2) 2)) 1/6) (* (cos (* (* PI u2) 2)) 1/6))) (log (* (cos (* (* PI u2) 2)) 1/6))))
909.0ms
(+ (+ (+ (* (log (* -2 (log u1))) 0.5) (* (log (* -2 (log u1))) 0.5)) (* (log (* -2 (log u1))) 0.5)) (+ (+ (log (* (cos (* (* PI u2) 2)) 1/6)) (log (* (cos (* (* PI u2) 2)) 1/6))) (log (* (cos (* (* PI u2) 2)) 1/6))))
761.0ms
(+ (+ (+ (* (log (* -2 (log u1))) 0.5) (* (log (* -2 (log u1))) 0.5)) (log (pow (* -2 (log u1)) 0.5))) (+ (log (* (* (cos (* (* PI u2) 2)) 1/6) (* (cos (* (* PI u2) 2)) 1/6))) (log (* (cos (* (* PI u2) 2)) 1/6))))
741.0ms
(+ (+ (+ (* (log (* -2 (log u1))) 0.5) (* (log (* -2 (log u1))) 0.5)) (log (pow (* -2 (log u1)) 0.5))) (+ (log (* (* (cos (* (* PI u2) 2)) 1/6) (* (cos (* (* PI u2) 2)) 1/6))) (log (* (cos (* (* PI u2) 2)) 1/6))))
688.0ms
(- (* (cbrt 1/216) (pow (* (pow -2 1.0) (pow (log u1) 1.0)) 0.5)) (* 2 (* (* (pow u2 2) (* (cbrt 1/216) (pow PI 2))) (pow (* (pow -2 1.0) (pow (log u1) 1.0)) 0.5))))

prune3.8s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0b

localize8.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (* (pow (* -2 (log u1)) 0.5) (cos (* (* PI u2) 2))) 1/6)
0.3b
(exp (log (+ 0.5 (* (* (pow (* -2 (log u1)) 0.5) (cos (* (* PI u2) 2))) 1/6))))
0.2b
(* PI u2)
0.2b
(log (+ 0.5 (* (* (pow (* -2 (log u1)) 0.5) (cos (* (* PI u2) 2))) 1/6)))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×pow1 log-prod
5×add-exp-log
4×log-div exp-prod add-cbrt-cube insert-posit16 add-log-exp
3×exp-sum
2×flip3-+ exp-diff log-pow *-commutative flip-+
1×rem-log-exp associate-*l* rem-exp-log
Calls
4 calls:
Slowest
34.0ms
(* (* (pow (* -2 (log u1)) 0.5) (cos (* (* PI u2) 2))) 1/6)
6.0ms
(exp (log (+ 0.5 (* (* (pow (* -2 (log u1)) 0.5) (cos (* (* PI u2) 2))) 1/6))))
2.0ms
(log (+ 0.5 (* (* (pow (* -2 (log u1)) 0.5) (cos (* (* PI u2) 2))) 1/6)))
0.0ms
(* PI u2)

series1.6s

Calls
4 calls:
Slowest
586.0ms
(log (+ 0.5 (* (* (pow (* -2 (log u1)) 0.5) (cos (* (* PI u2) 2))) 1/6)))
502.0ms
(* (* (pow (* -2 (log u1)) 0.5) (cos (* (* PI u2) 2))) 1/6)
485.0ms
(exp (log (+ 0.5 (* (* (pow (* -2 (log u1)) 0.5) (cos (* (* PI u2) 2))) 1/6))))
45.0ms
(* PI u2)

simplify4.1s

Calls
28 calls:
Slowest
610.0ms
(- (* 1/6 (pow (* (pow -2 1.0) (pow (log u1) 1.0)) 0.5)) (* 1/3 (* (* (pow u2 2) (pow PI 2)) (pow (* (pow -2 1.0) (pow (log u1) 1.0)) 0.5))))
424.0ms
(- (log (+ 0.5 (* 1/6 (pow (* (pow -2 1.0) (pow (log u1) 1.0)) 0.5)))) (* 1/3 (* (/ (* (pow u2 2) (pow PI 2)) (+ 0.5 (* 1/6 (pow (* (pow -2 1.0) (pow (log u1) 1.0)) 0.5)))) (pow (* (pow -2 1.0) (pow (log u1) 1.0)) 0.5))))
420.0ms
(exp (log (+ (pow 0.5 3) (pow (* (* (pow (* -2 (log u1)) 0.5) (cos (* (* PI u2) 2))) 1/6) 3))))
409.0ms
(log (+ (pow 0.5 3) (pow (* (* (pow (* -2 (log u1)) 0.5) (cos (* (* PI u2) 2))) 1/6) 3)))
343.0ms
(exp (log (- (* 0.5 0.5) (* (* (* (pow (* -2 (log u1)) 0.5) (cos (* (* PI u2) 2))) 1/6) (* (* (pow (* -2 (log u1)) 0.5) (cos (* (* PI u2) 2))) 1/6)))))

prune1.0s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

regimes469.0ms

Accuracy

0% (0.3b remaining)

Error of 0.4b against oracle of 0.0b and baseline of 0.4b

bsearch3.0ms

end0.0ms

sample2.9s

Algorithm
intervals
Results
2.3s8000×body80valid
379.0ms8000×pre80true