Details

Time bar (total: 31.0s)

sample408.0ms

Algorithm
intervals
Results
54.0ms256×body80valid
9.0ms256×pre80true

simplify3.4s

Counts
1 → 1
Iterations
IterNodes
done5000
53177
4483
3159
272
135
018

prune31.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize66.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma (/ (pow (* -2.0 (log u1)) 0.5) (/ 6.0 1.0)) (cos (* 2.0 (* PI u2))) 0.5)
0.1b
(pow (* -2.0 (log u1)) 0.5)
0.2b
(/ (pow (* -2.0 (log u1)) 0.5) (/ 6.0 1.0))
0.3b
(* PI u2)

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
119×times-frac
65×add-sqr-sqrt
63×*-un-lft-identity add-cube-cbrt
29×add-exp-log
15×unpow-prod-down sqr-pow
13×associate-/r*
12×div-exp
11×add-cbrt-cube
9×pow1
7×div-inv
6×pow-exp
5×associate-/l*
4×expm1-log1p-u prod-exp log1p-expm1-u add-log-exp
3×pow-to-exp cbrt-undiv pow-unpow associate-*r* associate-*l*
2×pow-pow pow-prod-down
1×clear-num frac-2neg associate-/r/ *-commutative cbrt-unprod fma-udef unswap-sqr
Counts
4 → 155
Calls
4 calls:
0.0ms
(fma (/ (pow (* -2.0 (log u1)) 0.5) (/ 6.0 1.0)) (cos (* 2.0 (* PI u2))) 0.5)
5.0ms
(pow (* -2.0 (log u1)) 0.5)
11.0ms
(/ (pow (* -2.0 (log u1)) 0.5) (/ 6.0 1.0))
13.0ms
(* PI u2)

series2.3s

Counts
4 → 12
Calls
4 calls:
744.0ms
(fma (/ (pow (* -2.0 (log u1)) 0.5) (/ 6.0 1.0)) (cos (* 2.0 (* PI u2))) 0.5)
441.0ms
(pow (* -2.0 (log u1)) 0.5)
1.0s
(/ (pow (* -2.0 (log u1)) 0.5) (/ 6.0 1.0))
46.0ms
(* PI u2)

simplify2.1s

Counts
167 → 167
Iterations
IterNodes
done5000
23876
1811
0322

prune1.3s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize46.0ms

Local error

Found 4 expressions with local error:

0.1b
(pow (* -2.0 (log u1)) 0.5)
0.2b
(/ (pow (* -2.0 (log u1)) 0.5) (/ 6.0 1.0))
0.3b
(* PI u2)
1.0b
(exp (fma (/ (pow (* -2.0 (log u1)) 0.5) (/ 6.0 1.0)) (cos (* 2.0 (* PI u2))) 0.5))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
119×times-frac
66×add-sqr-sqrt
64×*-un-lft-identity add-cube-cbrt
29×add-exp-log
15×unpow-prod-down sqr-pow
13×associate-/r*
12×div-exp
11×add-cbrt-cube
9×pow1
7×div-inv
6×pow-exp
5×associate-/l* add-log-exp
4×expm1-log1p-u prod-exp log1p-expm1-u
3×pow-to-exp cbrt-undiv pow-unpow exp-prod associate-*r* associate-*l*
2×pow-pow pow-prod-down
1×clear-num frac-2neg exp-sum associate-/r/ *-commutative cbrt-unprod fma-udef unswap-sqr rem-exp-log
Counts
4 → 159
Calls
4 calls:
5.0ms
(pow (* -2.0 (log u1)) 0.5)
11.0ms
(/ (pow (* -2.0 (log u1)) 0.5) (/ 6.0 1.0))
6.0ms
(* PI u2)
8.0ms
(exp (fma (/ (pow (* -2.0 (log u1)) 0.5) (/ 6.0 1.0)) (cos (* 2.0 (* PI u2))) 0.5))

series2.2s

Counts
4 → 12
Calls
4 calls:
420.0ms
(pow (* -2.0 (log u1)) 0.5)
1.1s
(/ (pow (* -2.0 (log u1)) 0.5) (/ 6.0 1.0))
36.0ms
(* PI u2)
679.0ms
(exp (fma (/ (pow (* -2.0 (log u1)) 0.5) (/ 6.0 1.0)) (cos (* 2.0 (* PI u2))) 0.5))

simplify2.2s

Counts
171 → 171
Iterations
IterNodes
done5000
23989
1838
0335

prune2.1s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize87.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (pow (* -2.0 (log u1)) 0.5) (/ 6.0 1.0))
0.3b
(* PI u2)
0.3b
(* (exp (* (/ (pow (* -2.0 (log u1)) 0.5) (/ 6.0 1.0)) (cos (* 2.0 (* PI u2))))) (exp 0.5))
0.9b
(exp (* (/ (pow (* -2.0 (log u1)) 0.5) (/ 6.0 1.0)) (cos (* 2.0 (* PI u2)))))

rewrite197.0ms

Algorithm
rewrite-expression-head
Rules
119×times-frac
68×add-sqr-sqrt
64×*-un-lft-identity add-cube-cbrt
26×add-exp-log
14×unpow-prod-down sqr-pow
13×associate-/r* add-cbrt-cube
12×div-exp
8×pow1
7×div-inv
6×associate-*r* associate-*l* add-log-exp
5×associate-/l*
4×expm1-log1p-u pow-exp prod-exp log1p-expm1-u
3×cbrt-undiv
2×pow-to-exp pow-prod-down *-commutative cbrt-unprod unswap-sqr
1×exp-prod clear-num frac-2neg exp-to-pow associate-/r/ rem-exp-log
Counts
4 → 158
Calls
4 calls:
10.0ms
(/ (pow (* -2.0 (log u1)) 0.5) (/ 6.0 1.0))
5.0ms
(* PI u2)
116.0ms
(* (exp (* (/ (pow (* -2.0 (log u1)) 0.5) (/ 6.0 1.0)) (cos (* 2.0 (* PI u2))))) (exp 0.5))
53.0ms
(exp (* (/ (pow (* -2.0 (log u1)) 0.5) (/ 6.0 1.0)) (cos (* 2.0 (* PI u2)))))

series2.7s

Counts
4 → 12
Calls
4 calls:
1.0s
(/ (pow (* -2.0 (log u1)) 0.5) (/ 6.0 1.0))
48.0ms
(* PI u2)
858.0ms
(* (exp (* (/ (pow (* -2.0 (log u1)) 0.5) (/ 6.0 1.0)) (cos (* 2.0 (* PI u2))))) (exp 0.5))
777.0ms
(exp (* (/ (pow (* -2.0 (log u1)) 0.5) (/ 6.0 1.0)) (cos (* 2.0 (* PI u2)))))

simplify2.4s

Counts
170 → 170
Iterations
IterNodes
done5000
24060
1839
0343

prune1.7s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize82.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (pow (* -2.0 (log u1)) 0.5) 6.0)
0.3b
(* PI u2)
1.0b
(expm1 (log1p (exp (fma (* (/ (pow (* -2.0 (log u1)) 0.5) 6.0) 1.0) (cos (* 2.0 (* PI u2))) 0.5))))
1.0b
(exp (fma (* (/ (pow (* -2.0 (log u1)) 0.5) 6.0) 1.0) (cos (* 2.0 (* PI u2))) 0.5))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt
17×*-un-lft-identity add-cube-cbrt
15×times-frac
14×add-exp-log
8×add-cbrt-cube
6×pow1
5×associate-/l* add-log-exp
4×expm1-log1p-u unpow-prod-down div-exp log1p-expm1-u sqr-pow
3×exp-prod associate-/r* associate-*r* associate-*l*
2×pow-exp prod-exp
1×pow-to-exp cbrt-undiv expm1-log1p clear-num frac-2neg exp-sum pow-prod-down *-commutative cbrt-unprod fma-udef div-inv expm1-udef unswap-sqr rem-exp-log
Counts
4 → 85
Calls
4 calls:
13.0ms
(/ (pow (* -2.0 (log u1)) 0.5) 6.0)
11.0ms
(* PI u2)
0.0ms
(expm1 (log1p (exp (fma (* (/ (pow (* -2.0 (log u1)) 0.5) 6.0) 1.0) (cos (* 2.0 (* PI u2))) 0.5))))
4.0ms
(exp (fma (* (/ (pow (* -2.0 (log u1)) 0.5) 6.0) 1.0) (cos (* 2.0 (* PI u2))) 0.5))

series2.7s

Counts
4 → 12
Calls
4 calls:
1.1s
(/ (pow (* -2.0 (log u1)) 0.5) 6.0)
46.0ms
(* PI u2)
797.0ms
(expm1 (log1p (exp (fma (* (/ (pow (* -2.0 (log u1)) 0.5) 6.0) 1.0) (cos (* 2.0 (* PI u2))) 0.5))))
785.0ms
(exp (fma (* (/ (pow (* -2.0 (log u1)) 0.5) 6.0) 1.0) (cos (* 2.0 (* PI u2))) 0.5))

simplify1.2s

Counts
97 → 97
Iterations
IterNodes
done5000
21261
1386
0196

prune936.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

regimes476.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done25
125
021

end0.0ms

sample2.3s

Algorithm
intervals
Results
1.3s8000×body80valid
697.0ms8000×pre80true