Details

Time bar (total: 6.8s)

sample102.0ms

Algorithm
intervals
Results
50.0ms112×body1280valid
24.0ms82×body640valid
7.0ms258×body80nan
5.0ms33×body320valid
2.0ms23×body160valid
0.0ms6×body80valid

simplify18.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0186
1256
2406
3656
4986
51226
61356
71376
81376
done1376

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.8b

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (+ 1.0 x) (- 1.0 x))
7.7b
(log (/ (+ 1.0 x) (- 1.0 x)))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
63×*-un-lft-identity
41×add-sqr-sqrt
40×times-frac
26×log-prod
23×add-cube-cbrt
11×distribute-lft-out
9×distribute-lft-out-- difference-of-squares
7×add-exp-log
5×associate-/r*
4×associate-/r/ add-cbrt-cube associate-/l*
3×pow1
2×expm1-log1p-u flip3-- div-exp rem-log-exp flip-- log1p-expm1-u div-inv associate-/l/ add-log-exp
1×cbrt-undiv log-div frac-2neg flip3-+ clear-num log-pow flip-+
Counts
2 → 86
Calls
2 calls:
24.0ms
(/ (+ 1.0 x) (- 1.0 x))
10.0ms
(log (/ (+ 1.0 x) (- 1.0 x)))

series153.0ms

Counts
2 → 6
Calls
2 calls:
31.0ms
(/ (+ 1.0 x) (- 1.0 x))
122.0ms
(log (/ (+ 1.0 x) (- 1.0 x)))

simplify114.0ms

Counts
92 → 92
Iterations

Useful iterations: 3 (107.0ms)

IterNodesCost
0334673
11078636
24549616
35001613
done5001613

prune179.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize13.0ms

Local error

Found 2 expressions with local error:

0.0b
(fma (fma x x x) 2.0 (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))))
0.0b
(* 2.0 (/ (pow x 2) (pow 1.0 2)))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
80×times-frac
70×add-sqr-sqrt
68×associate-*r*
56×unpow-prod-down
36×add-cube-cbrt *-un-lft-identity
25×add-exp-log
24×unpow2 sqr-pow
17×unswap-sqr
10×prod-exp
9×div-exp
7×add-cbrt-cube
6×pow-to-exp pow-exp
4×pow1
3×associate-*l*
2×expm1-log1p-u cbrt-unprod log1p-expm1-u add-log-exp
1×cbrt-undiv associate-*r/ pow-prod-down *-commutative fma-udef div-inv
Counts
2 → 122
Calls
2 calls:
0.0ms
(fma (fma x x x) 2.0 (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))))
38.0ms
(* 2.0 (/ (pow x 2) (pow 1.0 2)))

series359.0ms

Counts
2 → 6
Calls
2 calls:
304.0ms
(fma (fma x x x) 2.0 (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))))
55.0ms
(* 2.0 (/ (pow x 2) (pow 1.0 2)))

simplify59.0ms

Counts
128 → 128
Iterations

Useful iterations: 2 (44.0ms)

IterNodesCost
0555769
12288635
25002634
done5002634

prune315.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize16.0ms

Local error

Found 3 expressions with local error:

0.0b
(fma (fma x x x) 2.0 (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))))
0.0b
(* 2.0 (/ (pow x 2) (pow 1.0 2)))
2.6b
(exp (log (fma (fma x x x) 2.0 (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))))))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
80×times-frac
73×add-sqr-sqrt
68×associate-*r*
56×unpow-prod-down
39×add-cube-cbrt *-un-lft-identity
26×add-exp-log
24×unpow2 sqr-pow
17×unswap-sqr
10×prod-exp
9×div-exp
8×add-cbrt-cube
6×pow1 pow-to-exp pow-exp
4×exp-prod
3×expm1-log1p-u log-prod associate-*l* exp-sum log1p-expm1-u add-log-exp
2×cbrt-unprod
1×cbrt-undiv associate-*r/ pow-prod-down log-pow *-commutative fma-udef div-inv rem-exp-log
Counts
3 → 139
Calls
3 calls:
0.0ms
(fma (fma x x x) 2.0 (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))))
38.0ms
(* 2.0 (/ (pow x 2) (pow 1.0 2)))
3.0ms
(exp (log (fma (fma x x x) 2.0 (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))))))

series682.0ms

Counts
3 → 9
Calls
3 calls:
318.0ms
(fma (fma x x x) 2.0 (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))))
51.0ms
(* 2.0 (/ (pow x 2) (pow 1.0 2)))
313.0ms
(exp (log (fma (fma x x x) 2.0 (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))))))

simplify56.0ms

Counts
148 → 148
Iterations

Useful iterations: 2 (45.0ms)

IterNodesCost
0586970
12361819
25001797
done5001797

prune392.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize18.0ms

Local error

Found 3 expressions with local error:

0.0b
(fma (fma x x x) 2.0 (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))))
0.0b
(* 2.0 (/ (pow x 2) (pow 1.0 2)))
2.7b
(pow E (log (fma (fma x x x) 2.0 (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))))))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
80×times-frac
74×add-sqr-sqrt
68×associate-*r*
59×unpow-prod-down
40×add-cube-cbrt *-un-lft-identity
27×add-exp-log
25×sqr-pow
24×unpow2
17×unswap-sqr
10×prod-exp
9×div-exp
8×pow-exp add-cbrt-cube
7×pow1 pow-to-exp
4×pow-unpow
3×unpow-prod-up expm1-log1p-u log-prod associate-*l* log1p-expm1-u add-log-exp
2×cbrt-unprod
1×cbrt-undiv e-exp-1 pow-pow associate-*r/ pow-prod-down log-pow *-commutative fma-udef div-inv
Counts
3 → 146
Calls
3 calls:
0.0ms
(fma (fma x x x) 2.0 (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))))
39.0ms
(* 2.0 (/ (pow x 2) (pow 1.0 2)))
3.0ms
(pow E (log (fma (fma x x x) 2.0 (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))))))

series659.0ms

Counts
3 → 9
Calls
3 calls:
310.0ms
(fma (fma x x x) 2.0 (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))))
57.0ms
(* 2.0 (/ (pow x 2) (pow 1.0 2)))
293.0ms
(pow E (log (fma (fma x x x) 2.0 (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))))))

simplify75.0ms

Counts
155 → 155
Iterations

Useful iterations: 2 (62.0ms)

IterNodesCost
07761265
137461049
250011031
done50011031

prune453.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

regimes37.0ms

Accuracy

0% (0.5b remaining)

Error of 0.6b against oracle of 0.1b and baseline of 0.6b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01610
11610
done1610

end0.0ms

sample2.9s

Algorithm
intervals
Results
1.5s3393×body1280valid
614.0ms2513×body640valid
225.0ms8048×body80nan
186.0ms1294×body320valid
60.0ms596×body160valid
8.0ms204×body80valid